diff options
author | Yoni Rabkin <yoni@rabkins.net> | 2021-02-17 12:37:06 -0500 |
---|---|---|
committer | Yoni Rabkin <yoni@rabkins.net> | 2021-02-17 12:37:06 -0500 |
commit | 45d179825b397d688ef5f4629547522567f46436 (patch) | |
tree | c30515e960b86cf4ab71370eb83a23ca8326c490 /doc | |
parent | f682e7bfac617da558a5a342553e325150928b00 (diff) | |
parent | f5d70db774273650707ad10f2a18bb3b27f00a3c (diff) |
Merge branch 'master' into externals/rt-liberation
Diffstat (limited to 'doc')
-rw-r--r-- | doc/developer-release.txt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/developer-release.txt b/doc/developer-release.txt index e15282c..ee5945d 100644 --- a/doc/developer-release.txt +++ b/doc/developer-release.txt @@ -27,12 +27,11 @@ Compile an HTML version of the manual and update it on the Website: Push these updates to the git repo. * tag -Tag the release with the ELPA version number: +Tag the release with the ELPA version number, then push that tag to +the VCS: $ git tag -a 2.00 -m "2.00" -Then push that tag to the VCS: - $ git push --tags origin "2.00" * ELPA |