mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #18881 from maribu/dist/tools/backport_pr
tools/backport_pr: finally fix running outside of repo's root
This commit is contained in:
commit
5c31e722d3
2
dist/tools/backport_pr/backport_pr.py
vendored
2
dist/tools/backport_pr/backport_pr.py
vendored
@ -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",
|
||||
|
Loading…
Reference in New Issue
Block a user