Prevent shell injection

This commit is contained in:
Ben Roberts
2026-01-05 20:54:27 +00:00
parent 4128517094
commit be049daf9c

View File

@@ -96,8 +96,11 @@ runs:
-t "$GIT_SERVER_TOKEN" -t "$GIT_SERVER_TOKEN"
- name: Create pull request comment - name: Create pull request comment
env:
PR: ${{ inputs.pr }}
MESSAGE: ${{ inputs.message }}
shell: bash shell: bash
run: >- run: >-
cd "${{ inputs.path || env.GITHUB_WORKSPACE }}" && cd "${{ inputs.path || env.GITHUB_WORKSPACE }}" &&
echo "$PWD" && echo "$PWD" &&
tea --debug comment '${{ inputs.pr }}' '${{ inputs.message }}' tea --debug comment "${PR}" "${MESSAGE}"