Learn more about these different git repos.
Other Git URLs
ALLOW_DELETE_BRANCH disables branch deletion for all repos including forks. It might be useful to disable branch deletion for the main repos, but still allow users to delete branches in their forks.
Metadata Update from @pingou: - Issue assigned to pingou
Commit 4497e25 fixes this issue
Login to comment on this ticket.