make page title nicer #825
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
| name: Fix linting from a comment | |
| on: | |
| issue_comment: | |
| types: [created] | |
| jobs: | |
| deploy: | |
| # Only run if comment is on a PR with the main repo, and if it contains the magic keywords | |
| if: > | |
| contains(github.event.comment.html_url, '/pull/') && | |
| contains(github.event.comment.body, '@nf-core-bot fix linting') && | |
| github.repository == 'nf-core/website' | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Use the @nf-core-bot token to check out so we can push later | |
| - uses: actions/checkout@v3 | |
| with: | |
| token: ${{ secrets.nf_core_bot_auth_token }} | |
| # Action runs on the issue comment, so we don't get the PR by default | |
| # Use the gh cli to check out the PR | |
| - name: Checkout Pull Request | |
| run: gh pr checkout ${{ github.event.issue.number }} | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.nf_core_bot_auth_token }} | |
| # Install and run pre-commit | |
| - uses: actions/setup-python@v3 | |
| - uses: pre-commit/[email protected] | |
| - name: Commit & push changes | |
| if: steps.prettier_status.outputs.result == 'fail' | |
| run: | | |
| git config user.email "[email protected]" | |
| git config user.name "nf-core-bot" | |
| git config push.default upstream | |
| git status | |
| git diff --quiet || (git commit -am "[automated] Fix linting with Prettier" && git push) |