janmoesen/tilde — comment on commit 22379346f5e7c0ce974602a0ad1df53eb0969307
File: .gitconfig line 39
By mathiasbynens:

Once the master branch is set up on the remote repository, you can just use `git push` instead of `git push origin master` since `master` is the implied default value, right?