diff options
| -rwxr-xr-x | rtems-release-tag | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rtems-release-tag b/rtems-release-tag index b5b7ecd..9b9077c 100755 --- a/rtems-release-tag +++ b/rtems-release-tag @@ -62,7 +62,7 @@ release=${version}.${revision} # # Enable to push. # -push=no +push=yes # # Repositories to tag. @@ -123,6 +123,7 @@ cd ${ws_tag} git push origin ${release} cd .. done + fi cd .. exit 0 |