Fix app_project_id_map_name in GitHub App backend, not having a .json extension

MagicRB · MagicRB · commit 467b9164ded2 · 2024-06-12T17:36:08.000+02:00
Signed-off-by: magic_rb &lt;richard@brezak.sk&gt;
diff --git a/buildbot_nix/github/auth/_type.py b/buildbot_nix/github/auth/_type.py
@@ -19,5 +19,5 @@ class AuthTypeApp(AuthType):
     app_installation_token_map_name: Path = Path(
         "github-app-installation-token-map.json"
     )
-    app_project_id_map_name: Path = Path("github-app-project-id-map-name")
+    app_project_id_map_name: Path = Path("github-app-project-id-map-name.json")
     app_jwt_token_name: Path = Path("github-app-jwt-token")

Original file line number	Diff line number	Diff line change
`@@ -19,5 +19,5 @@ class AuthTypeApp(AuthType):`
`19`	`19`	`app_installation_token_map_name: Path = Path(`
`20`	`20`	`"github-app-installation-token-map.json"`
`21`	`21`	`)`
`22`		`- app_project_id_map_name: Path = Path("github-app-project-id-map-name")`
	`22`	`+ app_project_id_map_name: Path = Path("github-app-project-id-map-name.json")`
`23`	`23`	`app_jwt_token_name: Path = Path("github-app-jwt-token")`