A simple gatekeeper for Git over SSH