1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-30 00:41:17 +01:00

backport_pr: don't assume devel remote to be 'origin'

This commit is contained in:
Martine Lenders 2019-04-17 12:42:02 +02:00
parent 989e2c6303
commit a7459e7463

View File

@ -185,9 +185,10 @@ def main():
for commit in commits:
bp_repo.git.cherry_pick('-x', commit['sha'])
# Push to github
print("Pushing branch {} to origin".format(new_branch))
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))
repo.git.push(origin, '{0}:{0}'.format(new_branch))
except Exception as exc:
# Delete worktree
print("Pruning temporary workdir at {}".format(worktree_dir))