[riot-notifications] [RIOT-OS/RIOT] dist/tools/backport_pr: several improvements (#11409)

Gaƫtan Harter notifications at github.com
Thu Apr 18 15:01:16 CEST 2019


One unrelated thing found while testing:

I noticed that when `cherry-pick` fails (like when I mistype my gpg signing key) the worktree is now nicely cleaned but as the branch cannot be deleted with '-d' it fails with a raw stacktrace

```
Traceback (most recent call last):
  ...
git.exc.GitCommandError: Cmd('git') failed due to: exit code(1)
  stderr: 'error: The branch 'backport/2019.04/tests/enh/lwip_sock-l2util' is not fully merged.
If you are sure you want to delete it, run 'git branch -D backport/2019.04/tests/enh/lwip_sock-l2util'.'
```

The behavior is the good one but could just catch the exception. (note for me)

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11409#issuecomment-484497113
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190418/9955683d/attachment.html>


More information about the notifications mailing list