Update repo files using repoman

Author: Virtlink

build.gradle.kts

@@ -12,7 +12,6 @@ rootProjectConvention {
     // Add `publishAll` and `publish` tasks that delegate to the subprojects and included builds.
     registerPublishTasks.set(true)
 }
-
 allprojects {
     apply(plugin = "org.metaborg.gitonium")
 

repo.yaml

@@ -20,3 +20,10 @@ files:
   githubWorkflows:
     publishRelease: true
     publishSnapshot: true
+  gradleRootProject:
+    update: true
+    createPublishTasks: true
+    rootProjectName: "metaborg-git-project"
+    includedProjects:
+      - name: "git"
+        path: "git-library/"

settings.gradle.kts

@@ -17,6 +17,5 @@ plugins {
 }
 
 rootProject.name = "metaborg-git-project"
-
-include(":git-library")
-project(":git-library").name = "git"
+include(":git")
+project(":git").projectDir = file("git-library/")