diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/fs/etc/pagure/pagure.cfg.in | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/public/fs/etc/pagure/pagure.cfg.in b/public/fs/etc/pagure/pagure.cfg.in index 85a2b38..a04767f 100644 --- a/public/fs/etc/pagure/pagure.cfg.in +++ b/public/fs/etc/pagure/pagure.cfg.in @@ -125,14 +125,6 @@ REDIS_PORT = 6379 REDIS_DB = 0 -### repo-spanner (https://repospanner.org/) -REPOSPANNER_NEW_REPO = None -REPOSPANNER_NEW_REPO_ADMIN_OVERRIDE = False -REPOSPANNER_NEW_FORK = True -REPOSPANNER_ADMIN_MIGRATION = False -REPOSPANNER_REGIONS = {} - - ### git backend GIT_FOLDER = os.path.join( '/srv', @@ -140,12 +132,6 @@ GIT_FOLDER = os.path.join( 'repositories' ) -REPOSPANNER_PSEUDO_FOLDER = os.path.join( - '/srv', - 'pagure', - 'pseudo' -) - REMOTE_GIT_FOLDER = os.path.join( '/srv', 'pagure', |