diff options
| author | jvoisin | 2018-07-19 13:48:35 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-19 13:48:35 +0200 |
| commit | 606bef01543225e56378904b94bd41f41645f4be (patch) | |
| tree | cef79ddeade62e6c3e753354b8eb891230163e1f /CONTRIBUTING.md | |
| parent | 2a5accbb7c12b2d4a16359914c18ccf856251f53 (diff) | |
Document that you need to `git push` after the release :p
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 0a6a408..88a3297 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md | |||
| @@ -136,6 +136,7 @@ Maintainers need to do the following to push out a release: | |||
| 136 | git config user.email security@nbs-system.com | 136 | git config user.email security@nbs-system.com |
| 137 | git tag -s v$MAJOR.$MINOR.$PATCH -m "v$MAJOR.$MINOR.$PATCH" | 137 | git tag -s v$MAJOR.$MINOR.$PATCH -m "v$MAJOR.$MINOR.$PATCH" |
| 138 | git push --tags | 138 | git push --tags |
| 139 | git push origin master | ||
| 139 | ``` | 140 | ``` |
| 140 | 141 | ||
| 141 | 9. Build the debian package with `make debian` | 142 | 9. Build the debian package with `make debian` |