Skip to content

chore(DEVOPS-10688): rename deprecated app-id input to client-id in create-github-app-token - #22

Merged
Marcin Michalski (marmichalski) merged 1 commit into
masterfrom
chore/DEVOPS-10688-rename-app-id-to-client-id
Jun 8, 2026
Merged

chore(DEVOPS-10688): rename deprecated app-id input to client-id in create-github-app-token#22
Marcin Michalski (marmichalski) merged 1 commit into
masterfrom
chore/DEVOPS-10688-rename-app-id-to-client-id

Conversation

@velkovb

@velkovb Borislav Velkov (velkovb) commented Jun 8, 2026

Copy link
Copy Markdown
Contributor

DEVOPS-10688

Changes

  • Rename the deprecated app-id input to client-id in actions/create-github-app-token (already pinned to v3; value unchanged, auth unaffected). Removes the v3 deprecation warning from CI logs.

Context

Pure key rename — GitHub accepts your existing App ID value as the JWT issuer under either key. Part of the org-wide cleanup DEVOPS-10688. Opened as draft pending review.

@velkovb Borislav Velkov (velkovb) added the ai-implemented PR authored by an AI agent label Jun 8, 2026
@velkovb
Borislav Velkov (velkovb) marked this pull request as ready for review June 8, 2026 14:45
Merged via the queue into master with commit 705f7db Jun 8, 2026
12 checks passed
@marmichalski
Marcin Michalski (marmichalski) deleted the chore/DEVOPS-10688-rename-app-id-to-client-id branch June 8, 2026 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ai-implemented PR authored by an AI agent

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants