diff options
Diffstat (limited to '.bashrc')
-rw-r--r-- | .bashrc | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -151,14 +151,14 @@ debrel () { dgit push-source "$@" git push --follow-tags - # if origin is not salsa, we might also want to push to salsa - # (.mrconfig.in should contain `git remote add -f salsa - # salsa:foo/bar` for this repo) - if git remote | grep -q salsa \ - && git branch --contains salsa/$branch \ - | grep -qE " $branch$"; then - git push --follow-tags salsa $branch:$branch - fi + # # if origin is not salsa, we might also want to push to salsa + # # (.mrconfig.in should contain `git remote add -f salsa + # # salsa:foo/bar` for this repo) + # if git remote | grep -q salsa \ + # && git branch --contains salsa/$branch \ + # | grep -qE " $branch$"; then + # git push --follow-tags salsa $branch:$branch + # fi ) } |