auto-merge-keyman-server-pr.yml

#
# Automatically merges pull requests opened by keyman-server
# The initial use of this action is to upload product help documentation
# with resources/build/help-keyman-com.sh.
# That script creates a PR and then this workflow will be
# triggered to approve the PR (from github-actions account), and
# then automerge it.
#
name: Auto Merge PRs from keyman-server
on:
  pull_request:
    types: [opened]

jobs:
  build:
    runs-on: ubuntu-latest
    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@01fb84a9d077930bf9d16d1f7fa3fe2ffe45aabe"
      if: github.actor == 'keyman-server'
      env:
        GITHUB_TOKEN: "${{ secrets.AUTOINC_GITHUB_TOKEN }}"
        MERGE_LABELS: "auto"
        MERGE_FORKS: false