fix: Refuse to push on pull_request event

Avoid merging pull requests, which is unlikely to be the intended
purpose of using this action.

Author: Kurt-von-Laven

action.yml

@@ -21,6 +21,12 @@ inputs:
     description: 'If true the bump commit is pushed to the remote repository'
     required: false
     default: "true"
+  merge:
+    description: >
+      If true, the bump commit is pushed to the remote repository even when the
+      action is run on the pull_request event, immediately merging the pull request
+    required: false
+    default: "false"
   prerelease:
     description: 'Set as prerelease version'
     required: false

entrypoint.sh

@@ -72,10 +72,15 @@ echo "Repository: ${INPUT_REPOSITORY}"
 echo "Actor: ${GITHUB_ACTOR}"
 
 if [[ $INPUT_PUSH == 'true' ]]; then
-  echo "Pushing to branch..."
-  REMOTE_REPO="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@github.com/${INPUT_REPOSITORY}.git"
-  git pull "$REMOTE_REPO" "$INPUT_BRANCH"
-  git push "$REMOTE_REPO" "HEAD:${INPUT_BRANCH}" --tags
+  if [[ $INPUT_MERGE != 'true' && $GITHUB_EVENT_NAME == 'pull_request' ]]; then
+    echo "Refusing to push on pull_request event since that would merge the pull request." >&2
+    echo "You probably want to run on push to your default branch instead." >&2
+  else
+    echo "Pushing to branch..."
+    REMOTE_REPO="https://${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@github.com/${INPUT_REPOSITORY}.git"
+    git pull "$REMOTE_REPO" "$INPUT_BRANCH"
+    git push "$REMOTE_REPO" "HEAD:${INPUT_BRANCH}" --tags
+  fi
 else
   echo "Not pushing"
 fi