diff options
author | Gavin Howard <gavin@yzena.com> | 2021-08-08 20:35:39 -0600 |
---|---|---|
committer | Gavin Howard <gavin@yzena.com> | 2021-08-08 20:35:39 -0600 |
commit | 608253d456c1f8b25429e4bf631d3e09b91332c7 (patch) | |
tree | 962787532f0737d36ac582ab56af0725e6393e4c | |
parent | 48ef7d27a31a4ce02fa6940480b3d233a3e9283d (diff) | |
download | bc-608253d456c1f8b25429e4bf631d3e09b91332c7.tar.gz |
Add the git stuff back in to scripts/package.sh
Now that I have confirmed everything else works, I can activate it and
release for real.
Signed-off-by: Gavin Howard <gavin@yzena.com>
-rwxr-xr-x | scripts/package.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/scripts/package.sh b/scripts/package.sh index 3026736d..98727d01 100755 --- a/scripts/package.sh +++ b/scripts/package.sh @@ -104,14 +104,13 @@ make clean_tests > /dev/null 2> /dev/null # doing. In fact, you cannot run it again if users have already started to use # the old version of the tag. if git rev-parse "$version" > /dev/null 2>&1; then - : - #git push --delete origin "$version" > /dev/null 2> /dev/null - #git tag --delete "$version" > /dev/null 2> /dev/null + git push --delete origin "$version" > /dev/null 2> /dev/null + git tag --delete "$version" > /dev/null 2> /dev/null fi -#git push > /dev/null 2> /dev/null -#git tg "$version" -m "$tag_msg" > /dev/null 2> /dev/null -#git push --tags > /dev/null 2> /dev/null +git push > /dev/null 2> /dev/null +git tg "$version" -m "$tag_msg" > /dev/null 2> /dev/null +git push --tags > /dev/null 2> /dev/null # This line grabs the names of all of the files in .gitignore that still exist. ignores=$(git check-ignore * **/*) |