mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-17 05:32:45 +01:00
tools/backport_pr: remove Unnecessary "else" after "raise"
This commit is contained in:
parent
cf2d66ede8
commit
630a82a260
8
dist/tools/backport_pr/backport_pr.py
vendored
8
dist/tools/backport_pr/backport_pr.py
vendored
@ -269,10 +269,10 @@ def main():
|
||||
# the worktree was deleted
|
||||
repo.delete_head(new_branch)
|
||||
raise exc
|
||||
else:
|
||||
# Delete worktree
|
||||
print(f"Pruning temporary workdir at {worktree_dir}")
|
||||
_delete_worktree(repo, worktree_dir)
|
||||
|
||||
# Delete worktree
|
||||
print(f"Pruning temporary workdir at {worktree_dir}")
|
||||
_delete_worktree(repo, worktree_dir)
|
||||
|
||||
labels = _get_labels(pulldata)
|
||||
merger = pulldata["merged_by"]["login"]
|
||||
|
Loading…
Reference in New Issue
Block a user