Skip to content

chore: Use client-id for create-github-app-token#430

Merged
adangel merged 2 commits into
pmd:mainfrom
adangel:chore-github-app-token
Jul 2, 2026
Merged

chore: Use client-id for create-github-app-token#430
adangel merged 2 commits into
pmd:mainfrom
adangel:chore-github-app-token

Conversation

@adangel

@adangel adangel commented Jul 2, 2026

Copy link
Copy Markdown
Member

@adangel adangel added this to the 7.27.0 milestone Jul 2, 2026
@adangel adangel changed the title [ci] Use client-id for create-github-app-token chore: Use client-id for create-github-app-token Jul 2, 2026
@adangel adangel force-pushed the chore-github-app-token branch from 934b4ad to 9ca091e Compare July 2, 2026 14:51
@adangel adangel merged commit 581ece2 into pmd:main Jul 2, 2026
11 of 12 checks passed
@adangel adangel deleted the chore-github-app-token branch July 2, 2026 15:58
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.

1 participant