summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Peter <mpeter@vps75953.serveur-vps.net>2025-07-20 19:46:00 +0200
committerMarius Peter <mpeter@vps75953.serveur-vps.net>2025-07-20 19:46:00 +0200
commitbc5ff6cc4a322d9b9ddaf15372b2e81f9f793dde (patch)
tree7ab8c092ff63a612447499d7acb37e7b1865ee9f
parent980307698caad2ad037ae738980d4a729e65cebf (diff)
Fix last minor issues on my server directly.
Let's start using ogit intensively, before presenting it to the world!
-rw-r--r--README.org4
-rw-r--r--lib/config.ml2
2 files changed, 5 insertions, 1 deletions
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;
}
Copyright 2019--2025 Marius PETER