Skip to content

Bump @mui/icons-material from 5.16.5 to 5.16.7 #178

Bump @mui/icons-material from 5.16.5 to 5.16.7

Bump @mui/icons-material from 5.16.5 to 5.16.7 #178

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 }}