diff options
author | Adam Spiers <stow@adamspiers.org> | 2016-11-20 22:00:46 +0000 |
---|---|---|
committer | Adam Spiers <stow@adamspiers.org> | 2016-11-20 22:50:22 +0000 |
commit | a9f79c6a5b11784bfe1bf5bd18dc48d63420cd14 (patch) | |
tree | 1a896e6dac401062680a17223fcb56042dc21854 /doc | |
parent | 17bbfb05c6826089c660acce586400553512a808 (diff) | |
download | stow-a9f79c6a5b11784bfe1bf5bd18dc48d63420cd14.tar.gz |
make sure release tags are also pushed to GitHub
Diffstat (limited to 'doc')
-rw-r--r-- | doc/HOWTO-RELEASE | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/HOWTO-RELEASE b/doc/HOWTO-RELEASE index 7be57bb..a8763c8 100644 --- a/doc/HOWTO-RELEASE +++ b/doc/HOWTO-RELEASE @@ -62,10 +62,12 @@ Release procedure git tag -s $version -m "Release $version" -- Push HEAD and tag to savannah +- Push HEAD and tag to savannah and GitHub: - git push - git push --tags + git push savannah + git push --tags savannah + git push github + git push --tags github - Regenerate the documentation for the website: |