git.l.o: please add post-update hooks to run git-update-server-info