build(deps): bump pg from 8.7.1 to 8.13.1 #1547
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: Automatically add new TechDocs Issues and PRs to the GitHub project board | |
| # Development of TechDocs in Backstage is managed by this Kanban board - https://github.com/orgs/backstage/projects/1 | |
| # New issues and PRs with TechDocs in their title or docs-like-code label will be added to the board. | |
| # Caveat: New PRs created from forks will not be added since GitHub Actions don't share credentials with forks. | |
| on: | |
| issues: | |
| types: [opened, reopened, labeled, edited] | |
| pull_request: | |
| types: [opened, reopened, labeled, edited] | |
| jobs: | |
| assign_issue_or_pr_to_project: | |
| runs-on: ubuntu-latest | |
| name: Triage | |
| env: | |
| MY_GITHUB_TOKEN: ${{ secrets.GH_SERVICE_ACCOUNT_TOKEN }} | |
| steps: | |
| - name: Assign new issue to Incoming based on its title. | |
| uses: srggrs/[email protected] | |
| if: | | |
| env.MY_GITHUB_TOKEN != null && | |
| contains(github.event.issue.title, 'TechDocs') || | |
| contains(github.event.issue.title, 'techdocs') || | |
| contains(github.event.issue.title, 'Techdocs') | |
| with: | |
| project: 'https://github.com/orgs/backstage/projects/1' | |
| column_name: 'Incoming' | |
| - name: Assign new issue to Incoming based on its label. | |
| uses: srggrs/[email protected] | |
| if: | | |
| env.MY_GITHUB_TOKEN != null && | |
| contains(github.event.issue.labels.*.name, 'docs-like-code') | |
| with: | |
| project: 'https://github.com/orgs/backstage/projects/1' | |
| column_name: 'Incoming' | |
| - name: Assign new PR to Incoming based on its title. | |
| uses: srggrs/[email protected] | |
| if: | | |
| env.MY_GITHUB_TOKEN != null && | |
| contains(github.event.pull_request.title, 'TechDocs') || | |
| contains(github.event.pull_request.title, 'techdocs') || | |
| contains(github.event.pull_request.title, 'Techdocs') | |
| with: | |
| project: 'https://github.com/orgs/backstage/projects/1' | |
| column_name: 'Incoming' | |
| - name: Assign new PR to Incoming based on its label. | |
| uses: srggrs/[email protected] | |
| if: | | |
| env.MY_GITHUB_TOKEN != null && | |
| contains(github.event.pull_request.labels.*.name, 'docs-like-code') | |
| with: | |
| project: 'https://github.com/orgs/backstage/projects/1' | |
| column_name: 'Incoming' |