Closed dapengzhang0 closed 3 years ago
At times we have unwanted patch branches after PR merged such as
dapengzhang0-patch-1
The author of the PR should be able to delete them. Or even better, force PR to be created in a patch branch in their own fork repo.
The branches were protected. They can be deleted now.
At times we have unwanted patch branches after PR merged such as
dapengzhang0-patch-1
The author of the PR should be able to delete them. Or even better, force PR to be created in a patch branch in their own fork repo.