From c09ec20297fb24d7cc3fb49bb238949c66d11ab2 Mon Sep 17 00:00:00 2001 From: Richard Mansfield Date: Tue, 30 Jun 2020 15:11:04 +1200 Subject: [PATCH] Update installation access token endpoint See https://developer.github.com/changes/2020-04-15-replacing-create-installation-access-token-endpoint/ --- src/Network/GitHub/API.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Network/GitHub/API.hs b/src/Network/GitHub/API.hs index 95c69d3..7652fb1 100644 --- a/src/Network/GitHub/API.hs +++ b/src/Network/GitHub/API.hs @@ -93,7 +93,7 @@ type GetIssues :> QueryParam "since" String :> Get '[JSON] [Issue] -type ReqInstallationAccessToken = "installations" :> Capture "installation_id" Int :> "access_tokens" +type ReqInstallationAccessToken = "app" :> "installations" :> Capture "installation_id" Int :> "access_tokens" :> Header "User-Agent" String :> Header "Authorization" String :> ReqBody '[JSON] (Maybe InstallationUser)