erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-10-16 02:47:31 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 16

Merge pull request #6148 from keymanapp/fix/cherry-pick/fix/auto-title-only

Browse source 
fix: only auto-merge if `auto:` prefix in title 🍒
This commit is contained in:
Marc Durdin 2022-01-24 12:26:04 +11:00 • committed by GitHub
commit 6a5bbd0dc6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 4 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

@ -1,8 +1,8 @@
#
# Automatically merges pull requests opened by keyman-server
# The initial use of this action is to increment the patch
# The initial use of this action is to increment the patch
# version of Keyman with resources/build/increment-version.sh.
# That script creates a PR and then this workflow will be
# That script creates a PR and then this workflow will be
# triggered to approve the PR (from github-actions account), and
# then automerge it.
#
@ -14,15 +14,14 @@ on:
jobs:
build:
runs-on: ubuntu-latest
if: ${{ github.actor == 'keyman-server' && startsWith(github.event.pull_request.title, 'auto:') }}
steps:
- name: auto approve PR from keyman-server
uses: hmarr/auto-approve-action@v2.0.0
if: github.actor == 'keyman-server'
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
- name: auto merge PR from keyman-server
uses: "pascalgn/automerge-action@7854d3bd607dccdaf0b2c134b699a812c8960213"
if: github.actor == 'keyman-server'
env:
GITHUB_TOKEN: "${{ secrets.AUTOINC_GITHUB_TOKEN }}"
MERGE_LABELS: ""