Development record

Setting up the reservation sweep's GitHub App took the product thinker about twenty minutes of wrong turns on 2026-10-24. The only instructions are hand steps in the sweep's design record, and GitHub has since moved them: private keys now sit under Credentials, then Key pairs, and installing an App owned by one organisation skips the choice of account. Nothing checked what already existed: an earlier App, the environment's branch rule and both secrets were set up on 2026-10-17, and only the ruleset's bypass actor was missing, so a second App was created and the first is now orphaned. The person asked for the setup to be precise; it should not depend on a person following settings pages at all.