Skip to content

Delete the vestigial github-app-id input - #117

Merged
charlesgreen merged 1 commit into
mainfrom
remove-vestigial-app-id
Aug 2, 2026
Merged

charlesgreen merged 1 commit into
mainfrom
remove-vestigial-app-id

Conversation

@charlesgreen

Copy link
Copy Markdown
Contributor

Closes #116.

#93 moved the token action to the client ID. The old github-app-id input survived as a fallback for callers that do not exist, and the generated caller has never passed it.

It also invited the wrong credential: the name says App ID, which is the numeric value on the App settings page, while actions/create-github-app-token needs the Iv23… client ID. An adopter reading the input list had a documented reason to supply the wrong one, and the resulting failure did not say so.

Changed

  • Removed the github-app-id input from .github/workflows/simplycubed.yml
  • Both jobs now read inputs['github-app-client-id'] directly instead of falling back

Left alone

CHANGELOG entries mentioning github-app-id stay. They record what shipped in past releases and are not instructions to anyone.

Why this is human-merged

It edits .github/workflows/, and the App holds no workflows permission by design, so the agent cannot push it.

make check green locally.

#93 moved the token action to the client ID. The old input survived as a
fallback for callers that no longer exist, and the generated caller has
never passed it.

It also invites the wrong credential. The name says App ID, which is the
numeric value on the App settings page, but create-github-app-token needs
the Iv23 client ID. An adopter reading the input list had a documented
reason to supply the wrong one.

CHANGELOG entries are left alone. They record what shipped in past
releases and are not instructions.

Closes #116
@codecov

codecov Bot commented Aug 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@charlesgreen
charlesgreen merged commit c2dc671 into main Aug 2, 2026
3 checks passed
@charlesgreen
charlesgreen deleted the remove-vestigial-app-id branch August 2, 2026 02: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.

Delete the vestigial github-app-id input that invites the wrong credential

1 participant