From 42e296b30dec1c9445d075fee101737fe3a29c73 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hannes=20K=C3=B6rber?= Date: Tue, 30 May 2023 20:26:40 +0200 Subject: [PATCH] Update grm config --- grm/github.toml | 9 +++++++++ grm/personal_projects.toml | 1 + 2 files changed, 10 insertions(+) create mode 100644 grm/github.toml diff --git a/grm/github.toml b/grm/github.toml new file mode 100644 index 0000000..479135b --- /dev/null +++ b/grm/github.toml @@ -0,0 +1,9 @@ +provider = "github" +token_command = "pass show github | pf '.personal_access_token.grm.value'" +root = "~/projects/github" +force_ssh = true +worktree = true + +[filters] +# owner = true +# groups = ["hi"] diff --git a/grm/personal_projects.toml b/grm/personal_projects.toml index a556430..b46d5b7 100644 --- a/grm/personal_projects.toml +++ b/grm/personal_projects.toml @@ -85,6 +85,7 @@ type = "https" [[trees.repos]] name = "git-repo-manager" +worktree_setup = true [[trees.repos.remotes]] name = "github"