git apply editsfromborkedlocalrepo.diff
git commit -a
git push

And I'm back in business. No damned idea what was wrong with the initial local repo but I don't have time to play detective.