From 05a0dfdb3c84cd48466a3372781c151af767c5fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20St=C3=A4ding?= <alexanderstaeding@gmail.com>
Date: Sat, 3 Aug 2024 10:58:26 -0700
Subject: [PATCH] Update teamcity github tokens

---
 .teamcity/settings.kts | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.teamcity/settings.kts b/.teamcity/settings.kts
index 3afbd3d1..a17e2795 100644
--- a/.teamcity/settings.kts
+++ b/.teamcity/settings.kts
@@ -49,7 +49,7 @@ project {
             displayName = "sourcegrade/jagr"
             repositoryURL = "https://github.com/sourcegrade/jagr"
             authType = accessToken {
-                accessToken = "credentialsJSON:7828090f-5bd5-448c-99df-b7fae9540192"
+                accessToken = "credentialsJSON:b7b250d4-b347-4611-bad6-a9dd7e3f44ff"
             }
             param("tokenId", "")
         }
@@ -84,7 +84,7 @@ fun BuildFeatures.configureBaseFeatures() {
         publisher = github {
             githubUrl = "https://api.github.com"
             authType = personalToken {
-                token = "credentialsJSON:7828090f-5bd5-448c-99df-b7fae9540192"
+                token = "credentialsJSON:b7b250d4-b347-4611-bad6-a9dd7e3f44ff"
             }
         }
     }
@@ -96,7 +96,7 @@ fun BuildFeatures.configurePullRequests() {
         vcsRootExtId = "${DslContext.settingsRoot.id}"
         provider = github {
             authType = token {
-                token = "credentialsJSON:7828090f-5bd5-448c-99df-b7fae9540192"
+                token = "credentialsJSON:b7b250d4-b347-4611-bad6-a9dd7e3f44ff"
             }
             filterAuthorRole = PullRequests.GitHubRoleFilter.MEMBER_OR_COLLABORATOR
         }