mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-05-18 00:12:46 +00:00
Code Issues Projects Releases Wiki Activity

Merge branch 'move-script-push' into 'main'

Browse source 
move-script: Be explicit about the ref to push to

See merge request gstreamer/gstreamer!1033
This commit is contained in:
Jan Alexander Steffens 2024-05-04 00:59:48 +00:00
parent 73c64e8182 580597d0b2
commit 8461ad4a40
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/move_mrs_to_monorepo.py
View file

@ -492,9 +492,10 @@ class GstMRMover:
def push_branch(self, branch):
fprint(
f"-> Pushing branch {branch} to remote {self.gl.user.username}...")
if self.git("push", "--no-verify", self.gl.user.username, branch,
refspec = f"{branch}:refs/heads/{branch}"
if self.git("push", "--no-verify", self.gl.user.username, refspec,
interaction_message=f"pushing {branch} to {self.gl.user.username} with:\n "
f" `$git push {self.gl.user.username} {branch}`") == "SKIP":
f" `$git push {self.gl.user.username} {refspec}`") == "SKIP":
fprint(yellow("'SKIPPED' (couldn't push)"), nested=False)
return False