Skip to content

Switch to using Penny app to get a GH token#416

Merged
gwynne merged 11 commits intomainfrom
gwynne-patch-1
Jul 18, 2023
Merged

Switch to using Penny app to get a GH token#416
gwynne merged 11 commits intomainfrom
gwynne-patch-1

Conversation

@gwynne
Copy link
Copy Markdown
Member

@gwynne gwynne commented Jul 18, 2023

We no longer need to rely on a PAT held by the "Vapor Bot" user to run workflows that need permissions beyond those granted by default; we can use the Penny app installation to generate an access token.

@gwynne gwynne added the no-release-needed PR does not necessitate a release label Jul 18, 2023
@gwynne gwynne requested review from 0xTim and MahdiBM July 18, 2023 18:04
@0xTim
Copy link
Copy Markdown
Member

0xTim commented Jul 18, 2023

It's a pity #393 or #413 aren't ready!

@gwynne gwynne merged commit 83d3503 into main Jul 18, 2023
@gwynne gwynne deleted the gwynne-patch-1 branch July 18, 2023 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-release-needed PR does not necessitate a release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants