Skip to content

Correct repo-config README: App install is noted not asserted#353

Merged
ptr727 merged 1 commit into
developfrom
fix/app-install-wording
Jun 29, 2026
Merged

Correct repo-config README: App install is noted not asserted#353
ptr727 merged 1 commit into
developfrom
fix/app-install-wording

Conversation

@ptr727

@ptr727 ptr727 commented Jun 29, 2026

Copy link
Copy Markdown
Owner

repo-config README said the script 'asserts ... a GitHub App is installed', but check_app only notes it (best-effort, does not fail the audit) - inconsistent with WORKFLOW.md. Separate the assert (secret names) from the note (App install). Follow-up to #351/#352.

check_app only notes (best-effort) whether a GitHub App is installed - it does not fail the
audit. The README said the script "asserts ... that a GitHub App is installed", contradicting
WORKFLOW.md. Separate the two: it asserts the secret names exist, and notes the App install.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings June 29, 2026 04:33

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Clarifies repo-config documentation so it matches the actual configure.sh check_app behavior and WORKFLOW.md expectations: the script asserts required secret names, but only notes (best-effort) whether a GitHub App installation can be confirmed.

Changes:

  • Update repo-config/README.md wording to separate “assert required secret names” from “note GitHub App installation (non-fatal)”.
  • Add rationale explaining why App installation cannot be asserted (requires app-level auth), so the audit does not fail on that check.

@ptr727 ptr727 merged commit 64be3b4 into develop Jun 29, 2026
10 checks passed
@ptr727 ptr727 deleted the fix/app-install-wording branch June 29, 2026 04:34
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