diff options
Diffstat (limited to 'docs/dev')
-rw-r--r-- | docs/dev/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md index b91013f13..57162a47d 100644 --- a/docs/dev/README.md +++ b/docs/dev/README.md | |||
@@ -226,6 +226,9 @@ If the GitHub Actions release fails because of a transient problem like a timeou | |||
226 | If it fails because of something that needs to be fixed, remove the release tag (if needed), fix the problem, then start over. | 226 | If it fails because of something that needs to be fixed, remove the release tag (if needed), fix the problem, then start over. |
227 | Make sure to remove the new changelog post created when running `cargo xtask release` a second time. | 227 | Make sure to remove the new changelog post created when running `cargo xtask release` a second time. |
228 | 228 | ||
229 | We release "nightly" every night automatically and promote the latest nightly to "stable" manually, every week. | ||
230 | We don't do "patch" releases, unless something truly egregious comes up. | ||
231 | |||
229 | # Permissions | 232 | # Permissions |
230 | 233 | ||
231 | There are three sets of people with extra permissions: | 234 | There are three sets of people with extra permissions: |