diff options
| author | Marius Peter <mpeter@vps75953.serveur-vps.net> | 2025-07-20 19:46:00 +0200 | 
|---|---|---|
| committer | Marius Peter <mpeter@vps75953.serveur-vps.net> | 2025-07-20 19:46:00 +0200 | 
| commit | bc5ff6cc4a322d9b9ddaf15372b2e81f9f793dde (patch) | |
| tree | 7ab8c092ff63a612447499d7acb37e7b1865ee9f | |
| parent | 980307698caad2ad037ae738980d4a729e65cebf (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.org | 4 | ||||
| -rw-r--r-- | lib/config.ml | 2 | 
2 files changed, 5 insertions, 1 deletions
| @@ -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;    } | 
