diff options
| author | Maxime Dénès | 2018-12-03 09:13:14 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-12-03 09:13:14 +0100 |
| commit | 5a263cc540c1fbe15520972caeb7dd71d40329e5 (patch) | |
| tree | 2df42ac2fe2e54c7ebdd8a07e620ef0738038abe /dev | |
| parent | acd0c18829a03159c489d908ce8f5f510de2f347 (diff) | |
| parent | 205fda29f5c8d338ba30a043b92c506653166a9b (diff) | |
Merge PR #9112: [release doc] vX.X branches are now automatically protected.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index b33a1cbd73..b1c111685b 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -64,10 +64,8 @@ ## On the date of the feature freeze ## -- [ ] Create the new version branch `vX.X` and - [protect it](https://github.com/coq/coq/settings/branches) - (activate the "Protect this branch", "Require pull request reviews before - merging" and "Restrict who can push to this branch" guards). +- [ ] Create the new version branch `vX.X` (using this name will ensure that + the branch will be automatically protected). - [ ] Remove all remaining unmerged feature PRs from the beta milestone. - [ ] Start a new project to track PR backporting. The proposed model is to have a "X.X-only PRs" column for the rare PRs on the stable branch, a |