Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adopt the default behavior that
push
will have in git 2.0. BTW, thi…
…s avoid warnings
- Loading branch information