remove unnecessary push.default setting

2011-03-08 12:25:02 -05:00 · 2011-03-08 12:25:02 -05:00 · 9f5f6a7489
commit 9f5f6a7489
parent 7308c254a7
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -81,7 +81,6 @@ function git-config-joshs()
    git config --global user.name 'Josh Holtrop'
    local domain='gmail.com'
    git config --global user.email 'jholtrop+git@'${domain}
-    git config --global push.default matching
    git config --global color.ui true
    git config --global core.excludesfile ${HOME}/.gitignore
    git config --global core.pager 'less -FRXi'