Make sure docs and tickets are correctly disabled

Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>
This commit is contained in:
Patrick Uiterwijk 2018-10-05 05:28:47 +02:00
parent f92899fe69
commit 692e419204

View file

@ -94,6 +94,7 @@ GIT_FOLDER = '/srv/git/repositories'
### Folder containing the docs repos
#DOCS_FOLDER = '/srv/git/repositories/docs'
ENABLE_DOCS = False
DOCS_FOLDER = None
### Folder containing the pull-requests repos
@ -101,6 +102,7 @@ REQUESTS_FOLDER = '/srv/git/repositories/requests'
### Folder containing the tickets repos
#TICKETS_FOLDER = '/srv/git/repositories/tickets'
ENABLE_TICKETS = False
TICKETS_FOLDER = None
### Folder containing the clones of the remotes git repo