On Thu, Nov 14, 2019 at 9:34 AM David Nalesnik <david.nales...@gmail.com> wrote: > > On Thu, Nov 14, 2019 at 9:23 AM David Kastrup <d...@gnu.org> wrote: > > > > Rather sounds like a different problem like a dead server/connection. > > Try again? > > Same result....
And in fact any git command I try yields these fatal errors. (I tried to create a patch to back up my work, to no avail.)