Update grm config

This commit is contained in:
2023-05-30 20:26:40 +02:00
parent 80d4f7052c
commit 42e296b30d
2 changed files with 10 additions and 0 deletions

View File

@@ -85,6 +85,7 @@ type = "https"
[[trees.repos]]
name = "git-repo-manager"
worktree_setup = true
[[trees.repos.remotes]]
name = "github"