Skip to content

Split non-prod GitHub App into separate per-environment apps and new environment config for running service Locally#620

Merged
jpablo2002 merged 6 commits intomainfrom
dev/acostajuan/config-github-apps-update
Apr 22, 2026
Merged

Split non-prod GitHub App into separate per-environment apps and new environment config for running service Locally#620
jpablo2002 merged 6 commits intomainfrom
dev/acostajuan/config-github-apps-update

Conversation

@jpablo2002
Copy link
Copy Markdown
Contributor

Fixes

Splits the shared NonProdGitHubAppClientId into three separate GitHub OAuth apps with dedicated client IDs:

  • PPE (Iv1.b231c327f1eaa229) — existing app, unchanged
  • Dev (Iv23ctTiak9wLCiTcEbr) — new app for the deployed dev service
  • Local (Iv23cttBYzKThF88PiPR) — new app with localhost callback URLs for local development

Changes proposed:

Adds a new Local environment to TunnelServiceProperties across all 5 SDK languages (C#, TypeScript, Go, Java, Rust),
with a "local" case in the Environment() method.

This enables the tunnel service and CLI to use different GitHub apps per environment, so each app can have properly
scoped callback URLs and independent secret rotation.

…g service locally, and updated for all languages
@jpablo2002 jpablo2002 self-assigned this Apr 22, 2026
…g service locally, and updated for all languages
@jpablo2002 jpablo2002 force-pushed the dev/acostajuan/config-github-apps-update branch from 08cf2d6 to 8d9faa0 Compare April 22, 2026 20:51
@jpablo2002 jpablo2002 merged commit a59fd89 into main Apr 22, 2026
11 checks passed
@jpablo2002 jpablo2002 deleted the dev/acostajuan/config-github-apps-update branch April 22, 2026 21:23
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