urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-28 22:54:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

add instruction on release branch convention

Browse Source
This commit is contained in:
Josh Lehman 2023-02-07 09:25:00 -08:00 committed by GitHub
parent c5aece980e
commit 37135d4ae6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
MAINTAINERS.md
View File

@ -122,7 +122,7 @@ git push origin <tagname>
## Releases
- [ ] Create a pull request from the relevant release branch to `master`.
- [ ] Create a pull request from the relevant release branch (with the format `release/urbit-os-vX.XX` to `master`.
- [ ] ssh into `~zod`
- [ ] Check to ensure that nobody else is ssh'd into `~zod`, by running `screen -ls` and verifying no sessions are attached.
- [ ] Attach to the screen session using `screen -x`