Add githubPackages function to setup maven repository for GPR

Author: Lipen

buildSrc/src/main/kotlin/GitHubPackages.kt

@@ -0,0 +1,32 @@
+import org.gradle.api.Project
+import org.gradle.api.artifacts.dsl.RepositoryHandler
+import org.gradle.api.artifacts.repositories.MavenArtifactRepository
+
+/**
+ * Set up GitHub Packages Registry for a specific repository.
+ *
+ * To use this GPR locally, you need to set the `gpr.user` and `gpr.key` properties
+ * in your `~/.gradle/gradle.properties` file, for example:
+ * ```
+ * gpr.user=your-github-username
+ * gpr.key=your-github-token
+ * ```
+ * Note: token must have "packages: read" permissions.
+ *
+ * On CI, provide `GITHUB_ACTOR` and `GITHUB_TOKEN` environment variables.
+ */
+fun RepositoryHandler.githubPackages(
+    project: Project,
+    repo: String,
+    setup: MavenArtifactRepository.() -> Unit = {},
+) = with(project) {
+    maven {
+        name = "GitHubPackages"
+        url = uri("https://maven.pkg.github.com/$repo")
+        credentials {
+            username = findProperty("gpr.user") as String? ?: System.getenv("USERNAME")
+            password = findProperty("gpr.key") as String? ?: System.getenv("TOKEN")
+        }
+        setup()
+    }
+}

buildSrc/src/main/kotlin/JacodbRepository.kt

@@ -11,11 +11,10 @@ group = "org.usvm"
 
 repositories {
     mavenCentral()
+    githubPackages(project, "UnitTestBot/jacodb")
     maven("https://jitpack.io")
 }
 
-setupJacodbGitHubPackagesRepository()
-
 dependencies {
     // Align versions of all Kotlin components
     implementation(platform(kotlin("bom", Versions.kotlin)))

buildSrc/src/main/kotlin/usvm.kotlin-conventions.gradle.kts

@@ -28,11 +28,10 @@ tasks {
 
 repositories {
     mavenCentral()
+    githubPackages(project, "UnitTestBot/jacodb")
     maven("https://jitpack.io")
 }
 
-setupJacodbGitHubPackagesRepository()
-
 dependencies {
     compileOnly(Libs.jacodb_api_jvm)
 }