Bump requests from 2.31.0 to 2.32.0 in /github_tools in the pip group across 1 directory #483
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
# Part of the Carbon Language project, under the Apache License v2.0 with LLVM | |
# Exceptions. See /LICENSE for license information. | |
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
# Applies mutual exclusivity between states labels: | |
# - proposal draft | |
# - proposal rfc | |
# - proposal accepted | |
# - proposal declined | |
# - proposal deferred | |
# | |
# The "proposal" label is always applied in order to make searching for all | |
# proposals (regardless of state) easy, although it will typically already be | |
# present. | |
name: Proposal labeled | |
on: | |
pull_request_target: | |
types: | |
- labeled | |
permissions: | |
pull-requests: write # For gh to edit labels. | |
jobs: | |
proposal_labeled: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Harden Runner | |
uses: step-security/harden-runner@63c24ba6bd7ba022e95695ff85de572c04a18142 # v2.7.0 | |
with: | |
egress-policy: audit | |
- name: draft | |
if: | | |
github.event.label.name == 'proposal draft' | |
run: | | |
gh pr edit "${PR}" \ | |
--remove-label "proposal rfc" \ | |
--remove-label "proposal accepted" \ | |
--remove-label "proposal declined" \ | |
--remove-label "proposal deferred" \ | |
--add-label "proposal" | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} | |
- name: rfc | |
if: | | |
github.event.label.name == 'proposal rfc' | |
run: | | |
gh pr edit "${PR}" \ | |
--remove-label "proposal draft" \ | |
--remove-label "proposal accepted" \ | |
--remove-label "proposal declined" \ | |
--remove-label "proposal deferred" \ | |
--add-label "proposal" | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} | |
- name: accepted | |
if: | | |
github.event.label.name == 'proposal accepted' | |
run: | | |
gh pr edit "${PR}" \ | |
--remove-label "proposal draft" \ | |
--remove-label "proposal rfc" \ | |
--remove-label "proposal declined" \ | |
--remove-label "proposal deferred" \ | |
--add-label "proposal" | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} | |
- name: declined | |
if: | | |
github.event.label.name == 'proposal declined' | |
run: | | |
gh pr edit "${PR}" \ | |
--remove-label "proposal draft" \ | |
--remove-label "proposal rfc" \ | |
--remove-label "proposal accepted" \ | |
--remove-label "proposal deferred" \ | |
--add-label "proposal" | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} | |
- name: deferred | |
if: | | |
github.event.label.name == 'proposal deferred' | |
run: | | |
gh pr edit "${PR}" \ | |
--remove-label "proposal draft" \ | |
--remove-label "proposal rfc" \ | |
--remove-label "proposal accepted" \ | |
--remove-label "proposal declined" \ | |
--add-label "proposal" | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
PR: ${{ github.event.pull_request.html_url }} |