diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-16 00:35:05 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-16 00:35:05 +0000 |
commit | 0ded790d18727bb50b6a46b41637f246043821a6 (patch) | |
tree | 78a94f9de52f86cf975f6b83ec731f59db519ffa | |
parent | Add a rtems-release-tag script to support tagging repositories. (diff) | |
download | rtems-release-0ded790d18727bb50b6a46b41637f246043821a6.tar.bz2 |
Update to the tag puch command.
-rwxr-xr-x | rtems-release-tag | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtems-release-tag b/rtems-release-tag index 9cbfc9e..b5b7ecd 100755 --- a/rtems-release-tag +++ b/rtems-release-tag @@ -119,8 +119,8 @@ cd ${ws_tag} for r in ${rtems_repos} do cd ${r} - echo "git push --follow-tags" - git push --follow-tags + echo "git push origin ${release}" + git push origin ${release} cd .. done cd .. |