diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-12-06 17:46:42 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-12-06 17:46:42 +0100 |
| commit | 27392a3b48bad24385ddf1c359f7c04164b6aabc (patch) | |
| tree | 4012aaf188211b8c8d2ada200385e2f67206cd03 /maintainers | |
| parent | 31e3c7d6fd5ce6c009ef2b7025aa1de43050ca2e (diff) | |
More tweaks
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/release-process.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/maintainers/release-process.md b/maintainers/release-process.md index 759e80d3c..27452b37e 100644 --- a/maintainers/release-process.md +++ b/maintainers/release-process.md @@ -139,10 +139,12 @@ release: ```console $ git checkout master - $ echo -n 2.13.0 > .version - $ git checkout -b bump-2.13 + $ git pull + $ NEW_VERSION=2.13.0 + $ echo -n $NEW_VERSION > .version + $ git checkout -b bump-$NEW_VERSION $ git commit -a -m 'Bump version' - $ git push + $ git push --set-upstream origin bump-$NEW_VERSION ``` Make a PR and auto-merge it. |