I was wondering if it's possible to enable auto delete merged branches of pull requests; https://github.blog/changelog/2019-07-31-automatically-delete-head-branches-of-pull-requests/ and https://help.github.com/en/articles/managing-the-automatic-deletion-of-branches
cc: @jhipster/builders
This would save unnecessary hassle of manual deletion of branches after merging the pull requests. :smile:
None that I know of.
I could change this, if all @jhipster/developers agree
Sure let us do it
just done, so I'm closing this
Thank you all for the feedback. :smile:
@pascalgrimaud : Thanks for doing it :smile:
@pascalgrimaud : Are you certain this is done? Because, I still have to manually delete branches it seems. :thinking: For example;
@SudharakaP Those are on your own fork. They belong to you, we cannot delete them for you.
Yes I'm sure. But as Pierre said, I think it concerns only the branch of the project, not the branch of the fork, as we don't have right on this
@pascalgrimaud @PierreBesson : Ops, you guys are right. On another project which we are working on, I have write access this is why I was confused. Sorry for the trouble. :smile:
Most helpful comment
I could change this, if all @jhipster/developers agree