diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-05 11:27:00 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-05-05 11:27:00 -0700 |
commit | 0bfe18bd5021a60b282538fb40dd5ec0729b9708 (patch) | |
tree | 293ffb106760fcaf74850aea9517158145809f2d /bin/git-develacc | |
parent | 6afa84d467f4afc459bbe0c3038e680592b5dae5 (diff) | |
download | dotfiles-0bfe18bd5021a60b282538fb40dd5ec0729b9708.tar.gz |
git-develacc shouldn't try to manipulate dgit remote
Diffstat (limited to 'bin/git-develacc')
-rwxr-xr-x | bin/git-develacc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/git-develacc b/bin/git-develacc index 504818b7..5ab99ae3 100755 --- a/bin/git-develacc +++ b/bin/git-develacc @@ -46,7 +46,7 @@ fi # sync remotes from outside develacc into develacc git remote | while read remote; do - if ! [ "$remote" = "develacc" ]; then + if ! [ "$remote" = "develacc" ] && ! [ "$remote" = "dgit" ]; then # this is to disable `git remote update` and therefore my `mr update` git -C "$inside" config --local --bool "remote.$remote.skipdefaultupdate" true |