diff options
| author | Théo Zimmermann | 2018-11-29 18:00:49 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-29 18:00:49 +0100 |
| commit | 205fda29f5c8d338ba30a043b92c506653166a9b (patch) | |
| tree | a6f936e68cf87b9c22e5ccead80229a009f44524 /dev/doc/release-process.md | |
| parent | 4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa (diff) | |
[release doc] vX.X branches are now automatically protected.
Diffstat (limited to 'dev/doc/release-process.md')
| -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 |