We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a653fea commit 08f162fCopy full SHA for 08f162f
entrypoint.sh
@@ -7,6 +7,12 @@ if [[ -z $INPUT_GITHUB_TOKEN ]]; then
7
exit 1
8
fi
9
10
+if [[ $GITHUB_EVENT_NAME == 'pull_request' ]]; then
11
+ echo "Refusing to run on pull_request event since this would merge the pull request." >&2
12
+ echo "You probably want to run on push to your default branch instead." >&2
13
+ exit 1
14
+fi
15
+
16
echo "Configuring Git username, email, and pull behavior..."
17
git config --local user.name "${INPUT_GIT_NAME}"
18
git config --local user.email "${INPUT_GIT_EMAIL}"
0 commit comments