dolthub / hosted-issues

Issues for hosted.doltdb.com
https://hosted.doltdb.com
2 stars 0 forks source link

Auto delete branch on successful merge #133

Closed Kelley12 closed 1 year ago

Kelley12 commented 1 year ago

Is your feature request related to a problem? Please describe. Not a problem other than our own forgetting to delete the branch following a merge

Describe the solution you'd like

An option on the PR to auto delete the branch on successful merge?

Similar to this one GitLab has:

image

Describe alternatives you've considered Asking everyone to remember to delete branches after PR's are accepted and merged

tbantle22 commented 1 year ago

This setting is now available in your deployment's workbench settings

Screenshot 2023-09-13 at 11 03 46 AM