fix: 404 Not Found link in docs #1153
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # | |
| # Automatically approves and queues for merge any pull requests with a branch | |
| # name starting with auto/, that are opened by keyman-server. This action is | |
| # used to merge product help documentation from keymanapp/keyman and also for | |
| # keyboard documentation PRs. | |
| # | |
| name: Auto Approve and Merge PRs from keyman-server | |
| on: pull_request_target | |
| jobs: | |
| auto-approve: | |
| if: github.actor == 'keyman-server' && startsWith(github.head_ref, 'auto/') | |
| runs-on: ubuntu-latest | |
| env: | |
| GH_TOKEN: ${{ secrets.AUTO_PR_APPROVAL_BY_KEYMAN_STATUS }} | |
| permissions: write-all | |
| steps: | |
| - name: Checkout | |
| uses: actions/[email protected] | |
| with: | |
| sparse-checkout: | | |
| README.md | |
| sparse-checkout-cone-mode: false | |
| - name: Approve pull request | |
| run: | | |
| gh pr review --approve ${{github.head_ref}} | |
| - name: Enable auto-merge | |
| run: | | |
| gh pr merge --merge --auto ${{github.head_ref}} |