Merge development into main: GitHub App credentials and release docs

Seto Elkahfi committed Jul 6, 2026 at 07:38 UTC 4a6f60966e49141d191ff6388518c84f60091b5f

No changes.