mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-29 16:31:18 +01:00
backport_pr: set tracking branch to remotely created branch
This commit is contained in:
parent
22640396a5
commit
aef6110b40
3
dist/tools/backport_pr/backport_pr.py
vendored
3
dist/tools/backport_pr/backport_pr.py
vendored
@ -193,7 +193,8 @@ def main():
|
||||
origin = _find_remote(repo, username, REPO)
|
||||
print("Pushing branch {} to {}".format(new_branch, origin))
|
||||
if not args.noop:
|
||||
repo.git.push(origin, '{0}:{0}'.format(new_branch))
|
||||
push_info = origin.push('{0}:{0}'.format(new_branch))
|
||||
new_branch.set_tracking_branch(push_info[0].remote_ref)
|
||||
except Exception as exc:
|
||||
# Delete worktree
|
||||
print("Pruning temporary workdir at {}".format(worktree_dir))
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user