post-update: git update-server-info