Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Allow unauthorized users to user the has-merge-commits label
So they can remove it after they've removed the merge commit.
- Loading branch information