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

ci: Auto-merge PRs from within repo even if I'm the triggering actor

Browse source
This commit is contained in:
Chris Hennick 2024-05-16 21:01:00 -07:00
parent 6fa4486089
commit a8b2855910
No known key found for this signature in database
GPG key ID: DA47AABA4961C509
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -8,7 +8,9 @@ permissions:
jobs:
auto-merge:
runs-on: ubuntu-latest
if: ${{ github.actor == 'dependabot[bot]' || github.actor == 'github-actions' }}
if: |
${{ github.actor == 'dependabot[bot]' || github.actor == 'github-actions' || ( github.actor == 'Pr0methean'
&& github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name )}}
steps:
- name: Dependabot metadata
id: metadata