Promote orchestra next-* branches

revng · Mar 1, 2021 · 815bc89 · 815bc89
1 parent d2ef694
commit 815bc89
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.orchestra/ci/ci.sh b/.orchestra/ci/ci.sh
@@ -171,8 +171,8 @@ if test "$PUSH_CHANGES" = 1; then
             fi
         done
 
-        # Promote next-* to *
-        for SOURCE_PATH in $(orc ls --git-sources); do
+        # Promote next-* to *, including orchestra
+        for SOURCE_PATH in $(orc ls --git-sources) "$ORCHESTRA_ROOT"; do
             if test -e "$SOURCE_PATH/.git"; then
                 cd "$SOURCE_PATH"
                 BRANCH="$(git rev-parse --abbrev-ref HEAD)"