Learn more about these different git repos.
Other Git URLs
since branch is mostly not needed after pull request has been merged, would be nice to add button/switch/whatever to remove branch as well.
This is interesting but shouldn't we give the choice for this if the user wants to do that or not.
This is now implemented :smile: There should be a checkbox below the merge button (assuming you have commit access to the repo with the branch.
It is indeed, so let's close this.
Thanks @lsedlar for fixing this ;-)
Metadata Update from @pingou: - Issue close_status updated to: Fixed
Log in to comment on this ticket.