make PR workflow helpers more robust #300

Merged
6543 merged 8 commits from noerw/tea:improve-pr-clean into master 4 months ago
noerw commented 4 months ago
  • 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 4 months ago
noerw added the
kind/enhancement
label 4 months ago
6543 added this to the v0.7.0 milestone 4 months ago
noerw added 1 commit 4 months ago
e828014134 Merge branch 'master' into improve-pr-clean
6543 approved these changes 4 months ago
Dismissed
noerw added 1 commit 4 months ago
3a95d6c269 Merge branch 'master' into improve-pr-clean
noerw added the
status/needs-reviews
label 4 months ago
6543 added 1 commit 4 months ago
c78a9185d3 Merge branch 'master' into improve-pr-clean
noerw added 1 commit 4 months ago
930fd18999 Merge branch 'master' into improve-pr-clean
lunny approved these changes 4 months ago
Dismissed
6543 merged commit 8b588f5313 into master 4 months ago
6543 removed the
status/needs-reviews
label 4 months ago
6543 deleted branch improve-pr-clean 4 months ago
continuous-integration/drone/pr Build is passing
The pull request has been merged as 8b588f5313.
Sign in to join this conversation.
Loading…
There is no content yet.