comment out pushing to salsa too

Currently using a separate Debian packaging branch in all cases where
there's a copy on salsa in addition to a copy on origin.

1 files changed, 8 insertions, 8 deletions

diff --git a/.bashrc b/.bashrc
index 7f962b89..a5b9cf2e 100644
--- a/.bashrc
+++ b/.bashrc
@@ -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
     )
 }