| commit | d681d6045b9ff64353f1b0ba77bb0b85683765a5 | |
| author | Peter Hutterer <peter.hutterer@who-t.net> | |
| Wed, 29 Jul 2009 00:58:51 +0000 (29 10:58 +1000) | ||
| committer | Peter Hutterer <peter.hutterer@who-t.net> | |
| Thu, 30 Jul 2009 01:36:48 +0000 (30 11:36 +1000) | ||
| tree | 2100ae423420672e115f6b1d5fe2a351fb18a6c1 | treesnapshot (tar.gz zip) |
| parent | 4c90f0b0c3151c63b82b2edf4411995feb7171ab | commitdiff |
release.sh: remove "git push origin" policy, replace with checks.
Running 'git push origin' at the end of the script will push changes on the
master branch - even if the release is supposed to be a stable branch
release. This may result in not-yet-ready changes being pushed to master.
This patch removes this default git push policy and replaces it with a
warning message if the object belonging to the tag is not on the remote yet.
Requirements: the tag must be on the currently checked-out branch, it is not
possible to cut a branch release from master anymore.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Running 'git push origin' at the end of the script will push changes on the
master branch - even if the release is supposed to be a stable branch
release. This may result in not-yet-ready changes being pushed to master.
This patch removes this default git push policy and replaces it with a
warning message if the object belonging to the tag is not on the remote yet.
Requirements: the tag must be on the currently checked-out branch, it is not
possible to cut a branch release from master anymore.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
| release.sh | diffblobblamehistory |