Bump VERSION in certificate update PR (#57)

.github/workflows/outdated.sh

@@ -1,16 +1,29 @@
 #!/bin/bash
 
-git config user.name "GitHub Actions"
-git config user.email "actions@users.noreply.github.com"
+function bump_version {
+  awk -F. '{printf("%d.%d.%d\n", $1, $2, $3+1) >"VERSION"}' VERSION
+}
+
+function check_pr {
+  gh pr list --state open --label "outdated check"
+}
+
+git config user.name "${GITHUB_ACTOR}"
+git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
 git checkout outdated || git checkout -b outdated
 
 if ! mix certdata --check-outdated; then
   mix certdata
+
+  if [[ $(check_pr) == "" ]]; then
+    bump_version
+  fi
+
   git add .
   git commit -m "Update certificates"
   git push --set-upstream origin outdated
 
-  if [[ $(gh pr list --state open --label "outdated check") == "" ]]; then
+  if [[ $(check_pr) == "" ]]; then
     gh pr create --fill --label "outdated check"
   fi
 fi

.github/workflows/publish.sh

@@ -1,12 +1,12 @@
 #!/bin/bash
 
+git config user.name "${GITHUB_ACTOR}"
+git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
 changed_version="$(git diff --name-only HEAD~1 HEAD -- VERSION)"
 
 if [[ "${changed_version}" ]]; then
   echo "Publishing because the version changed since the last commit"
 
-  git config user.name "${GITHUB_ACTOR}"
-  git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
   git tag "v$(cat VERSION)"
   git push --tags