Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use the official GitHub Action to obtain installation access tokens #9

Merged
merged 1 commit into from
Mar 27, 2025

Conversation

dscho
Copy link
Member

@dscho dscho commented Mar 26, 2025

This addresses #5.

I verified that this works as intended by (temporarily) mirroring Git for Windows' shears/seen branch to gitgitgadget/git (and I immediately deleted it because it is not needed there).

When I committed the first workflow in e84a016 (Add a workflow to
synchronize refs from git/git to gitgitgadget/git, 2023-08-18), I had
missed the first public release of `actions/create-github-app-token` by
_mere days_: The first version of that GitHub Action to be officially
published to the GitHub Marketplace was v1.1.0, on August 22nd, 2023:
https://github.com/actions/create-github-app-token/releases/tag/v1.1.0,
i.e. a mere 4 days after I had committed the initial version of the
`sync-ref` workflow.

That was the reason why, when I scoured around for a GitHub Action that
could be used to obtain an installation access token, I only found a
third-party one.

I don't exactly remember how I got aware of the official Action provided
by GitHub itself, but I know that I immediately opened
#5 so that
I wouldn't forget to eventually migrate to that Action.

This commit is it. With this, we switch from that 3rd-party Action to
the official GitHub one.

Signed-off-by: Johannes Schindelin <[email protected]>
@dscho dscho requested review from mjcheetham and webstech March 26, 2025 16:30
@dscho dscho self-assigned this Mar 26, 2025
@dscho dscho merged commit 571871d into main Mar 27, 2025
1 check passed
@dscho dscho deleted the vet-github-actions branch March 27, 2025 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants