Autoconf git repo restored

[Ralf Wildenhues]

Hello,

I've pushed the origin/master ref I had in my local tree back to the
repo at savannah:

  git push --dry-run            # inspect output
  git push

I think that should restore it to its state before the crash, excluding
the (trivial) cgit /about description.

Please check that things are as expected.  If you haven't used 'git
fetch' (or pull) yet, then remember the origin/master before doing so.

Cheers,
Ralf