Sample pre-receive hook for Git that will allow pushes to a central repo only from certain IDs