Refined-github: Drop `pr-branch-auto-delete` feature

Created on 31 Jul 2019  路  3Comments  路  Source: sindresorhus/refined-github

It was implemented by GitHub: https://github.blog/changelog/2019-07-31-automatically-delete-head-branches-of-pull-requests/

On a repository's settings page, there is now a checkbox to enable the feature:

Screenshot_2019-07-31_13-53-31

under discussion
Source
picture FloEdelmann

Most helpful comment

This is good, but their feature has a few big disadvantages:

  • it has to be enabled in each repo: our feature works everywhere.
  • it has to be enabled by the owner: if the owner doesn't enable it, collaborators won't benefit from it.

For this, I think we should still keep it.

I wish GitHub at least enabled it by default in forks, where our feature doesn't apply.

picture fregante on 31 Jul 2019
👍2

All 3 comments

Lol that was fast!

cc @sindresorhus

fregante picture fregante on 31 Jul 2019

This is good, but their feature has a few big disadvantages:

  • it has to be enabled in each repo: our feature works everywhere.
  • it has to be enabled by the owner: if the owner doesn't enable it, collaborators won't benefit from it.

For this, I think we should still keep it.

I wish GitHub at least enabled it by default in forks, where our feature doesn't apply.

fregante picture fregante on 31 Jul 2019
👍2

I agree, we should keep the feature. I have no intention of manually enabling that setting on 1000+ repos.

sindresorhus picture sindresorhus on 31 Jul 2019
😄1
Was this page helpful?
0 / 5 - 0 ratings

Related issues

olso picture olso  路  3Comments
durka picture durka  路  3Comments
supremebeing7 picture supremebeing7  路  3Comments
hkdobrev picture hkdobrev  路  3Comments
Arcanemagus picture Arcanemagus  路  3Comments