Gnulib git on savannah seems stale, which is consistent with the post to savannah-announce, but how should we resolve it?
I attempted to push the changes I had locally (which correspond to everything up until maybe a day before the crash) but it failed: j...@mocca:~/src/gnulib master$ git pull >From j...@git.sv.gnu.org:/srv/git/gnulib + 2b08e89...f56ff6b master -> origin/master (forced update) Already up-to-date. j...@mocca:~/src/gnulib master$ git pull Already up-to-date. j...@mocca:~/src/gnulib master$ git push --all Counting objects: 583, done. Delta compression using up to 2 threads. Compressing objects: 100% (263/263), done. Writing objects: 100% (471/471), 195.02 KiB, done. Total 471 (delta 337), reused 319 (delta 208) build-aux/texinfo.tex:2: trailing whitespace. +% error: hooks/update exited with error code 2 error: hook declined to update refs/heads/master To j...@git.sv.gnu.org:/srv/git/gnulib.git ! [remote rejected] master -> master (hook declined) error: failed to push some refs to 'j...@git.sv.gnu.org:/srv/git/gnulib.git' j...@mocca:~/src/gnulib master$ For reference, on my build host, the latest commit is: commit 6fd2df816bfd58804024dbfd8fa0f22e60dbb140 Author: Bruno Haible <br...@clisp.org> Date: Thu May 28 13:09:26 2009 +0200 Don't do HAVE_CONFIG_H replacements on build-aux/ files. That should correspond to what's on savannah at most ~2 hours before the savannah crash. /Simon