Context: Our org has an org level secret (for example ORG_GITHUB_COPILOT_TOKEN) that we want to use instead of tying repos to personal PAT tokens, which is undesirable for many reasons - not least of which that the agentic workflows stop working if that person leaves the org.
Benefit is also that we can track the copilot usage separate from individual users.
Want to be able to use a custom secret name for the copilot token since these org secrets are not visible to most users in the org.