RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:32:45 +01:00
Code Releases Activity

Merge #19230

Browse Source 
19230: tools/backport_pr: remove Unnecessary "else" after "raise" r=maribu a=benpicco



Co-authored-by: Benjamin Valentin <benjamin.valentin@bht-berlin.de>
This commit is contained in:
bors[bot] 2023-02-01 16:04:28 +00:00 committed by GitHub
commit 12a05b8fa2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
dist/tools/backport_pr/backport_pr.py vendored
View File

@ -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"]