erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-10-28 00:37:53 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Merge pull request #2564 from keymanapp/chore/automerge

Browse source 
chore: use alternate automerge
This commit is contained in:
Marc Durdin 2020-02-01 13:42:42 +11:00 • committed by GitHub
commit beaed097d1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/auto-merge-keyman-server-pr.yml vendored
View file

@ -21,8 +21,9 @@ jobs:
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
- name: auto merge PR from keyman-server
uses: ridedott/merge-me-action@v1.1.3
uses: "pascalgn/automerge-action@7854d3bd607dccdaf0b2c134b699a812c8960213"
if: github.actor == 'keyman-server'
with:
GITHUB_LOGIN: keyman-server
env:
GITHUB_TOKEN: "${{ secrets.AUTOINC_GITHUB_TOKEN }}"
MERGE_LABELS: ""
MERGE_FORKS: false