Do not require `git push origin master`.