Skip to content

Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.60.1 in /vscode_extension #1018

Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.60.1 in /vscode_extension

Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.60.1 in /vscode_extension #1018

Workflow file for this run

name: PR
on: pull_request_target
jobs:
add-labels:
runs-on: ubuntu-latest
permissions:
contents: read
pull-requests: write
steps:
- uses: actions/[email protected]
with:
configuration-path: .github/labels.yaml
repo-token: ${{ secrets.BOT_TOKEN }}
assign-author:
if: github.event.action == 'opened'
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- uses: samspills/[email protected]
with:
repo-token: ${{ secrets.BOT_TOKEN }}
automerge-pr:
if: github.event.action == 'opened'
runs-on: ubuntu-latest
permissions:
contents: write
pull-requests: write
steps:
- run: gh pr merge --auto --merge "$PR_URL"
env:
PR_URL: ${{ github.event.pull_request.html_url }}
# If we'd use `secrets.GITHUB_TOKEN`, our CI isn't triggered on the
# merge's push event.
# https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
GITHUB_TOKEN: ${{ secrets.PR_AUTOMERGE_TOKEN }}
approve-dependabot-pr:
if: github.event.action == 'opened' && github.event.pull_request.user.login == 'dependabot[bot]'
runs-on: ubuntu-latest
permissions:
contents: read
pull-requests: write
steps:
- uses: dependabot/[email protected]
id: dependabot-metadata
- name: Approve patch and minor updates
if: steps.dependabot-metadata.outputs.update-type == 'version-update:semver-patch' || steps.dependabot-metadata.outputs.update-type == 'version-update:semver-minor'
run: gh pr review "$PR_URL" --approve
env:
PR_URL: ${{ github.event.pull_request.html_url }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Request manual review for major updates
if: steps.dependabot-metadata.outputs.update-type == 'version-update:semver-major' && toJSON(github.event.pull_request.requested_reviewers) == '[]'
run: gh pr edit "$PR_URL" --add-reviewer JonasWanke
env:
PR_URL: ${{ github.event.pull_request.html_url }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}