Update to push to 'publish-gitlab' master

Update various scripts to push to publish-gitlab remote,
not to publish-upstream.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

3 files changed, 9 insertions, 4 deletions

diff --git a/parallel-buildtest b/parallel-buildtest
index 9c72b75..6f26b52 100755
--- a/parallel-buildtest
+++ b/parallel-buildtest
@@ -9,6 +9,10 @@
 
 echo "pushing staging branch to my tree:"
 git push --force publish-pmaydell staging:staging
+# this will trigger a gitlab CI pipeline run
+echo "pushing staging branch to gitlab:"
+git push --force publish-gitlab staging:staging
+
 
 # This is a nasty workaround for a flaw in git.linaro.org's
 # geo-distributed server setup -- pushing to one server is
@@ -36,3 +40,4 @@ parallel --files --tag --nonall --sshloginfile ~/.parallel-buildtest-config 'una
 echo
 
 echo "All parallel builds completed successfully (check logs!)"
+echo "Check gitlab CI pipeline status too..."
diff --git a/qemu-open-devtree b/qemu-open-devtree
index 5473004..58d4158 100755
--- a/qemu-open-devtree
+++ b/qemu-open-devtree
@@ -48,6 +48,6 @@ echo "$NEWVER" > VERSION
 git add VERSION
 git commit -s -m "Open $NEWVERNAME development tree"
 echo "Dry-run publish:"
-git push --dry-run publish-upstream staging:master
+git push --dry-run publish-gitlab staging:master
 echo "OK. To publish, run:"
-echo "git push publish-upstream staging:master"
+echo "git push publish-gitlab staging:master"
diff --git a/qemu-tag-release b/qemu-tag-release
index 55fa50e..bf450d8 100755
--- a/qemu-tag-release
+++ b/qemu-tag-release
@@ -36,6 +36,6 @@ git add VERSION
 git commit -s -m "Update version for $TAGNAME release"
 git tag -s -m "$TAGNAME release" "$TAGNAME"
 echo "Dry-run publish:"
-git push --dry-run publish-upstream staging:master "$TAGNAME"
+git push --dry-run publish-gitlab staging:master "$TAGNAME"
 echo "OK. To publish, run:"
-echo "git push publish-upstream staging:master $TAGNAME"
+echo "git push publish-gitlab staging:master $TAGNAME"