push to salsa if additional salsa remote

1 files changed, 9 insertions, 0 deletions

diff --git a/.bashrc b/.bashrc
index 7f52fe38..57c817da 100644
--- a/.bashrc
+++ b/.bashrc
@@ -151,6 +151,15 @@ debrel () {
         fi
         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
     )
 }