Update 2013-10-25-git-push-default.md