1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

tools/backport_pr: finally fix running outside of repo's root

It turned out that 4983f8bb60 was not
enough to allow the tool to be executed from within
`dist/tools/backport_pr`. With this, I successfully tested it :)
This commit is contained in:
Marian Buschsieweke 2022-11-11 09:28:38 +01:00
parent 19021d618e
commit 9bba2d074c
No known key found for this signature in database
GPG Key ID: CB8E3238CE715A94

View File

@ -240,7 +240,7 @@ def main():
if new_branch in repo.branches:
print(f"ERROR: Branch {new_branch} already exists")
sys.exit(1)
worktree_dir = os.path.join(args.gitdir, WORKTREE_SUBDIR)
worktree_dir = os.path.join(repo.working_dir, WORKTREE_SUBDIR)
repo.git.worktree(
"add",
"-b",