Fix last minor issues on my server directly.

Let's start using ogit intensively, before presenting it to the world!

Commit
bc5ff6cc4a322d9b9ddaf15372b2e81f9f793dde
Author
Marius Peter <mpeter@vps75953.serveur-vps.net>
Author date
Committer
Marius Peter <mpeter@vps75953.serveur-vps.net>
Committer date
Changed files
README.org
index dde935f2..3173e1d4 100644..100644
@@ -35,3 +35,7 @@
35 35
36 36
37 37 ** Bugs
38 Added:
39 Added: - [ ] Proper copyright holder management.
40 Added: - Should be the main repository author by default, not the ogit
41 Added: process owner...
lib/config.ml
index e8628ae9..497a084c 100644..100644
@@ -13,7 +13,7 @@
13 13 {
14 14 user = Sys.getenv "LOGNAME";
15 15 default_branch = "master";
16 Removed: git_project_root = Filename.concat (Sys.getenv "HOME") "git.test";
16 Added: git_project_root = Filename.concat (Sys.getenv "HOME") "git";
17 17 commits_max_displayed = 10;
18 18 }
19 19