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 /doc | |
| 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.
Diffstat (limited to 'doc')
| -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 |