DevComp/zip-rs-wasm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ci: Bug fix? Use ${{github.token}} instead of ${{secrets.GITHUB_TOKEN}}

Browse source
This commit is contained in:
Chris Hennick 2024-04-28 12:04:22 -07:00
parent 37bafb14b1
commit 54dd12085b
No known key found for this signature in database
GPG key ID: DA47AABA4961C509
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/auto_merge_prs.yml vendored
View file

@ -15,9 +15,10 @@ jobs:
if: ${{ github.actor == 'dependabot[bot]' }}
uses: dependabot/fetch-metadata@v2.1.0
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
github-token: "${{ github.token }}"
- name: Enable auto-merge
run: gh pr merge --auto --merge "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GH_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
OWNER: ${{ github.repository_owner }}
GH_TOKEN: "${{ github.token }}"