diff --git a/deb/VERSION b/deb/VERSION index a0744ce..ba9fc00 100644 --- a/deb/VERSION +++ b/deb/VERSION @@ -1 +1 @@ -1.5.0-1 +1.4.5-1 diff --git a/update-check.sh b/update-check.sh index f7834d7..11622d7 100644 --- a/update-check.sh +++ b/update-check.sh @@ -21,15 +21,19 @@ check_version() { if [[ $VERSION != $CURR_VERSION ]]; then echo "New release found: ${CURR_VERSION}" - # # bump up to new release - # echo ${CURR_VERSION} > ${DIR}/VERSION + if [[ $IS_PULL_REQUEST == "true" ]]; then + echo "Action triggered by pull request. Do not bump version." + else + # bump up to new release + echo ${CURR_VERSION} > ${DIR}/VERSION - # # commit - # git config --local user.email "actions@github.com" - # git config --local user.name "Github Action" - # git add ${DIR}/VERSION - # git commit -m "Bump ${DIR} version to ${CURR_VERSION}" --author="Xiaonan Shen " - # git push + # commit + git config --local user.email "actions@github.com" + git config --local user.name "Github Action" + git add ${DIR}/VERSION + git commit -m "Bump ${DIR} version to ${CURR_VERSION}" --author="Xiaonan Shen " + git push + fi else echo "Already newest version ${VERSION}" fi