UI changes
Delete branch on merge
When a Pull Request is merged, after the merge action is completed, a button appears to let the integrator delete the source branch.
When the delete is performed, the "Restore branch" button to allow users to revert miss-clicks. It's possible to restore the branch during ~24 hours (purged by daily event).
When the source branch is in a fork and the integrator has no Write or Rewind access, the button to delete branches is not proposed after merge
At repository level, there is an option to disable the ability to delete branch post merge, this option is disabled by default.
Delete branch on abandon
When a pull request is abandonned, after the abandon, a button appears to let intergator delete the source branch.
When the delete is performed, the "Restore branch" button to allow users to revert miss-clicks. It's possible to restore the branch during ~24 hours (purged by daily event).
When the source branch is in a fork and the integrator has no Write or Rewind access, the button to delete branches is not proposed after merge
API changes
-
GET /git/:id : displays whether delete after merge is allowed
-
PUT /git/:id : allows to toggle delete after merge
-
DELETE /git/… : to perform branch deletion (our git API was inspired from github, maybe we should use the same ?)
XML import/export changes
- The option is added and taken into account to XML import/export format.