From bc5ff6cc4a322d9b9ddaf15372b2e81f9f793dde Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Sun, 20 Jul 2025 19:46:00 +0200 Subject: Fix last minor issues on my server directly. Let's start using ogit intensively, before presenting it to the world! --- README.org | 4 ++++ lib/config.ml | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/README.org b/README.org index dde935f..3173e1d 100644 --- a/README.org +++ b/README.org @@ -35,3 +35,7 @@ Listed in no particular order. ** Bugs + +- [ ] Proper copyright holder management. + - Should be the main repository author by default, not the ogit + process owner... diff --git a/lib/config.ml b/lib/config.ml index e8628ae..497a084 100644 --- a/lib/config.ml +++ b/lib/config.ml @@ -13,7 +13,7 @@ let default = { user = Sys.getenv "LOGNAME"; default_branch = "master"; - git_project_root = Filename.concat (Sys.getenv "HOME") "git.test"; + git_project_root = Filename.concat (Sys.getenv "HOME") "git"; commits_max_displayed = 10; } -- cgit v1.2.3