diff options
| -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..bd31cceeb 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 "stable" every week manually. | ||
| 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: |