Skip to content

Commit

Permalink
Merge pull request #33 from r7kamura/git-push-token
Browse files Browse the repository at this point in the history
Fix bug that default access token is used on `git push`
  • Loading branch information
r7kamura authored Nov 19, 2024
2 parents 01fa120 + 26377a7 commit 1dce0e1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,7 @@ runs:
- uses: actions/checkout@v4
with:
ref: "${{ github.event.pull_request.base.ref }}" # We want to always get the default branch ref.
token: ${{ inputs.github_token || github.token }}
- name: Create pull request
run: |
if [ "${{ github.event_name }}" == "pull_request" ] && [ "${{ github.event.action }}" == "closed" ]; then
Expand Down

0 comments on commit 1dce0e1

Please sign in to comment.