Skip to content

manifest: doc-internal: Update revision #46708

manifest: doc-internal: Update revision

manifest: doc-internal: Update revision #46708

name: Remove CI-Requested label
on:
pull_request_target:
types: [opened, reopened, synchronize]
jobs:
remove_label:
name: Remove label
if: ${{ contains(github.event.*.labels.*.name, 'CI-Requested') }}
runs-on: ubuntu-latest
steps:
- name: Remove label
run: gh pr edit ${{ github.event.pull_request.number }} --remove-label "CI-Requested"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}