[ENH] Query tool ai UI integration #138
Workflow file for this run
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: Label pull requests from forks | |
| on: | |
| pull_request_target: | |
| types: [opened] | |
| jobs: | |
| handle_external_pr: | |
| # Only run this entire workflow if the PR was opened from a forked repo | |
| # The reasoning is that both bots and external contributors have to make | |
| # a fork of the repo before they can open a PR because they don't have | |
| # write access to the repo. | |
| if: github.event.pull_request.head.repo.full_name != github.repository | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Label pull request with "_community" | |
| run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_community" | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| handle_precommit_pr: | |
| if: contains(github.event.pull_request.title, '[pre-commit.ci]') | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Label pull request with "_bot" | |
| run: gh pr edit ${{ github.event.pull_request.number }} -R ${{ github.repository }} --add-label "_bot" | |
| env: | |
| GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} |