add missing lint script #89
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 merge Dependabot PRs when version comparison is within the range | |
| # that is configured in .github/auto-merge.yml | |
| name: Auto-Merge Dependabot PRs | |
| on: | |
| pull_request_target: | |
| jobs: | |
| auto-merge: | |
| if: github.actor == 'dependabot[bot]' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v3 | |
| - name: Check if PR should be auto-merged | |
| uses: ahmadnassri/action-dependabot-auto-merge@v2 | |
| with: | |
| # This must be a personal access token with push access | |
| github-token: ${{ secrets.AUTO_MERGE_TOKEN }} | |
| # By default, squash and merge, so Github chooses nice commit messages | |
| command: squash and merge |