summaryrefslogtreecommitdiff
path: root/git-gmi/config.py
diff options
context:
space:
mode:
authorFrederick Yin <fkfd@macaw.me>2020-06-19 19:26:58 +0800
committerFrederick Yin <fkfd@macaw.me>2020-06-19 19:59:14 +0800
commit1c8d1a0f2e017c8375e080d691dc2f0af10dd9ae (patch)
tree35a2dcdf6c1cf298dca17e5ceebedd525f2bd79d /git-gmi/config.py
parentbd8a1b8d460d6857ea8c9ab8544550492ba82cc8 (diff)
Main branch now customizable, annotated configs
Diffstat (limited to 'git-gmi/config.py')
-rw-r--r--git-gmi/config.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/git-gmi/config.py b/git-gmi/config.py
index f136b8e..0cd62de 100644
--- a/git-gmi/config.py
+++ b/git-gmi/config.py
@@ -1,3 +1,8 @@
+# where on the disk are the repos located
GIT_CATALOG = "/home/fakefred/p/gemini/repos/"
+# which path leads to your cgi app after the URL's host part
CGI_PATH = "/git/cgi/"
+# your site's display name
GIT_GMI_SITE_TITLE = "git.gmi demo instance"
+# the "main" branch that git.gmi defaults to
+MAIN_BRANCH = "master"