Clarify that git-update-server-info should be run for every git-push