Merge pull request #1527 from haberman/24-cherrypick #2349
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| mergeable: | |
| pull_requests: | |
| label: | |
| and: | |
| - must_exclude: | |
| regex: '^disposition/DO NOT MERGE' | |
| message: 'Pull request marked not mergeable' | |
| - must_include: | |
| regex: 'mergeable:force-allow' | |
| message: 'Pull requests should not be merged directly and should instead | |
| be handled by Copybara. | |
| To enable Github merges, add the `mergeable:force-allow` label and get a second | |
| approval. This should almost never be used except for releases or as a break glass | |
| measure after discussing with the team.' |