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 _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
