carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-04 22:02:52 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Switch token approach (#2013)

Browse Source 
According to this run, the attempt to get write permissions failed:
https://github.com/carbon-language/carbon-lang/runs/7811743119?check_suite_focus=true

So I'm switching to an org secret, which I believe I can definitely make work.
This commit is contained in:
Jon Ross-Perkins
2022-08-12 11:42:51 -07:00
committed by GitHub
parent 767e712b47
commit efde2dcdd9
2 changed files with 6 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/proposal_labeled.yaml
+5 -8
View File
@@ -19,9 +19,6 @@ on:
types:
- labeled
permissions:
pull-requests: write
jobs:
proposal_labeled:
runs-on: ubuntu-latest
@@ -37,7 +34,7 @@ jobs:
--remove-label "proposal deferred" \
--add-label "proposal"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}
- name: rfc
@@ -51,7 +48,7 @@ jobs:
--remove-label "proposal deferred" \
--add-label "proposal"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}
- name: accepted
@@ -65,7 +62,7 @@ jobs:
--remove-label "proposal deferred" \
--add-label "proposal"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}
- name: declined
@@ -79,7 +76,7 @@ jobs:
--remove-label "proposal deferred" \
--add-label "proposal"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}
- name: deferred
@@ -93,5 +90,5 @@ jobs:
--remove-label "proposal declined" \
--add-label "proposal"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}
.github/workflows/proposal_ready.yaml
+1 -4
View File
@@ -10,9 +10,6 @@ on:
types:
- ready_for_review
permissions:
pull-requests: write
jobs:
proposal_ready:
if: contains(github.event.pull_request.labels.*.name, 'proposal')
@@ -27,5 +24,5 @@ jobs:
--remove-label "proposal deferred" \
--add-label "proposal rfc"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.LABEL_ACTION_GITHUB }}
PR: ${{ github.event.pull_request.html_url }}