mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-06-08 09:09:26 +00:00
Code Issues 1 Projects Releases Wiki Activity

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

Browse source 
Otherwise, a local `push.default` setting could interfere with this.
E.g. setting it to `upstream` can cause the script to attempt to push to
`main`.
This commit is contained in:
Jan Alexander Steffens (heftig) 2021-10-04 14:41:10 +02:00 committed by Jan Alexander Steffens (heftig)
parent f54c2a2bac
commit 580597d0b2
No known key found for this signature in database
GPG key ID: 3B94A80E50A477C7
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

@ -487,9 +487,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