info about git server hook in the DEVELOPMENT file