Don't allow `git push` (without arguments) to do anything.