From cd96453c9d1b8fd01c3a79864b7695335476877d Mon Sep 17 00:00:00 2001
From: William Woodruff <william@trailofbits.com>
Date: Wed, 10 Jan 2024 16:05:30 -0500
Subject: [PATCH] oidc-exchange: update OIDC minting endpoint

Signed-off-by: William Woodruff <william@trailofbits.com>
---
 oidc-exchange.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/oidc-exchange.py b/oidc-exchange.py
index fb1df00..b7c6f2d 100644
--- a/oidc-exchange.py
+++ b/oidc-exchange.py
@@ -164,7 +164,7 @@ def render_claims(token: str) -> str:
 
 repository_url = get_normalized_input("repository-url")
 repository_domain = urlparse(repository_url).netloc
-token_exchange_url = f"https://{repository_domain}/_/oidc/github/mint-token"
+token_exchange_url = f"https://{repository_domain}/_/oidc/mint-token"
 
 # Indices are expected to support `https://{domain}/_/oidc/audience`,
 # which tells OIDC exchange clients which audience to use.