diff --git a/.github/workflows/proposal_labeled.yaml b/.github/workflows/proposal_labeled.yaml index e4b2e6b02d93..16f88316633d 100644 --- a/.github/workflows/proposal_labeled.yaml +++ b/.github/workflows/proposal_labeled.yaml @@ -22,6 +22,10 @@ on: permissions: pull-requests: write # For gh to edit labels. +# TODO: `--repo carbon-language/carbon-lang` is a temporary workaround for: +# https://github.com/cli/cli/issues/11055 +# Once a later version is released on runners, maybe August 2025, we should be +# able to remove the extra flag. jobs: proposal_labeled: runs-on: ubuntu-latest @@ -44,7 +48,8 @@ jobs: --remove-label "proposal accepted" \ --remove-label "proposal declined" \ --remove-label "proposal deferred" \ - --add-label "proposal" + --add-label "proposal" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }} @@ -58,7 +63,8 @@ jobs: --remove-label "proposal accepted" \ --remove-label "proposal declined" \ --remove-label "proposal deferred" \ - --add-label "proposal" + --add-label "proposal" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }} @@ -72,7 +78,8 @@ jobs: --remove-label "proposal rfc" \ --remove-label "proposal declined" \ --remove-label "proposal deferred" \ - --add-label "proposal" + --add-label "proposal" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }} @@ -86,7 +93,8 @@ jobs: --remove-label "proposal rfc" \ --remove-label "proposal accepted" \ --remove-label "proposal deferred" \ - --add-label "proposal" + --add-label "proposal" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }} @@ -100,7 +108,8 @@ jobs: --remove-label "proposal rfc" \ --remove-label "proposal accepted" \ --remove-label "proposal declined" \ - --add-label "proposal" + --add-label "proposal" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }} diff --git a/.github/workflows/proposal_ready.yaml b/.github/workflows/proposal_ready.yaml index 70067b87bf87..113a870d4099 100644 --- a/.github/workflows/proposal_ready.yaml +++ b/.github/workflows/proposal_ready.yaml @@ -13,6 +13,10 @@ on: permissions: pull-requests: write # For gh to edit labels. +# TODO: `--repo carbon-language/carbon-lang` is a temporary workaround for: +# https://github.com/cli/cli/issues/11055 +# Once a later version is released on runners, maybe August 2025, we should be +# able to remove the extra flag. jobs: proposal_ready: if: contains(github.event.pull_request.labels.*.name, 'proposal') @@ -34,7 +38,8 @@ jobs: --remove-label "proposal accepted" \ --remove-label "proposal declined" \ --remove-label "proposal deferred" \ - --add-label "proposal rfc" + --add-label "proposal rfc" \ + --repo carbon-language/carbon-lang env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} PR: ${{ github.event.pull_request.html_url }}