Exit when someone ssh connect to the server without git push

Updates PR #21