dev: sync-pending-branches: delete remote merged branches too

diff --git a/dev/sync-pending-branches.sh b/dev/sync-pending-branches.sh
index 6358853c00e42aedc57fb6dfcd929576af7e06ba..1ba3b8dc23924ad8ae9be330c9c3afd9afe35cf0 100755 (executable)
--- a/dev/sync-pending-branches.sh
+++ b/dev/sync-pending-branches.sh
@@ -8,7 +8,13 @@ git_hash() {
 
 git fetch origin --prune
 PREVBRANCH="$(git rev-parse --abbrev-ref HEAD)"
+
+# delete merged
 git branch --merged | tr -d ' ' | grep ^pending- | xargs -trn1 git branch -d
+merged=( $(git branch --list -r 'origin/pending-*' --format='%(refname:lstrip=3)' --merged) )
+git push origin "${merged[@]/#/:}"
+
+# sync local branches
 git branch --list -r 'origin/pending-*' --format='%(refname:lstrip=3)' | while read b; do
        if [ -z "$(git_hash "$b")" ]; then
                git checkout "$b"