make PR workflow helpers more robust #300

Merged
6543 merged 8 commits from noerw/tea:improve-pr-clean into master 2020-12-17 14:00:17 +00:00
Member
  • handle the case of a remote deleted PR branch correctly
  • don't try to delete remote branch, if we don't have push permission
- handle the case of a remote deleted PR branch correctly - don't try to delete remote branch, if we don't have push permission
noerw added 4 commits 2020-12-14 15:43:35 +00:00
noerw added the
kind
enhancement
label 2020-12-14 15:43:53 +00:00
6543 added this to the v0.7.0 milestone 2020-12-14 16:09:25 +00:00
noerw added 1 commit 2020-12-15 11:06:34 +00:00
Merge branch 'master' into improve-pr-clean
All checks were successful
continuous-integration/drone/pr Build is passing
e828014134
6543 approved these changes 2020-12-15 17:35:21 +00:00
Dismissed
noerw added 1 commit 2020-12-15 17:53:03 +00:00
Merge branch 'master' into improve-pr-clean
All checks were successful
continuous-integration/drone/pr Build is passing
3a95d6c269
noerw added the
status/needs-reviews
label 2020-12-15 17:55:17 +00:00
6543 added 1 commit 2020-12-16 17:18:57 +00:00
Merge branch 'master' into improve-pr-clean
All checks were successful
continuous-integration/drone/pr Build is passing
c78a9185d3
noerw added 1 commit 2020-12-17 01:05:30 +00:00
Merge branch 'master' into improve-pr-clean
All checks were successful
continuous-integration/drone/pr Build is passing
930fd18999
lunny approved these changes 2020-12-17 13:32:52 +00:00
Dismissed
6543 merged commit 8b588f5313 into master 2020-12-17 14:00:16 +00:00
6543 removed the
status/needs-reviews
label 2020-12-17 14:00:24 +00:00
6543 deleted branch improve-pr-clean 2020-12-17 14:00:37 +00:00
Sign in to join this conversation.
No description provided.