diff options
Diffstat (limited to '')
| -rw-r--r-- | CONTRIBUTING.md | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 032814bf..38c1a38d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -243,13 +243,9 @@ grep '^##' CHANGES.md | head -n1 * Commit and push the changes. * Create the appropriate tag: -** In the web interface, click on Tags In the tag overview, click on 'New tag' -and fill with the new release number, let empty the field "create from master" -Message: Release XXX - ** In commandline: ~~~ -git tag -a -m 'Release 4.2.0' v4.2.0 +git tag -a -m 'Release 4.22.0' 4.22.0 ~~~ replace with the appropriate release number @@ -258,7 +254,12 @@ replace with the appropriate release number "-m " is the message you mentioned -"v4.2.0" is the tag name +"4.22.0" is the tag name + +* Push the tag: +~~~ +git push --tags +~~~ Once the pipline completed, do the release in the web interface under Deploy → Releases. Use the 'Release 4.21.0' and add the changelog |