[riot-notifications] [RIOT-OS/RIOT] dist/tools/backport_pr: several improvements (#11409)
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:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications