diff options
author | Adam Spiers <stow@adamspiers.org> | 2019-07-28 14:54:36 +0100 |
---|---|---|
committer | Adam Spiers <stow@adamspiers.org> | 2019-07-28 14:54:36 +0100 |
commit | 9fd3624a755acee6c287c50f69497583db5998cd (patch) | |
tree | 14f94b6dee7fe473d61cc99d5fe982fa2d13ee69 | |
parent | d94f325e514f372a0839e121d33f62be9f8ed485 (diff) | |
download | stow-master.tar.gz |
This avoids errors like
fatal: You are pushing to remote 'savannah', which is not the upstream of
your current branch 'master', without telling me what to push
to update which remote branch.
-rw-r--r-- | doc/HOWTO-RELEASE | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/HOWTO-RELEASE b/doc/HOWTO-RELEASE index b488744..2b0daab 100644 --- a/doc/HOWTO-RELEASE +++ b/doc/HOWTO-RELEASE @@ -87,9 +87,9 @@ Release procedure - Push HEAD and tag to savannah and GitHub: - git push savannah + git push savannah master git push --tags savannah - git push github + git push github master git push --tags github - Upload the new release to ftp.gnu.org. This is easiest using gnupload: @@ -169,6 +169,6 @@ Release procedure - git commit -m "Bump version to $version for development of next release" - - git push savannah + - git push savannah master - - git push github + - git push github master |