diff options
| author | root@culturestrings <root@culturestrings> | 2020-05-18 12:51:31 +0000 |
|---|---|---|
| committer | root@culturestrings <root@culturestrings> | 2020-05-18 12:51:31 +0000 |
| commit | 5d4a00454fd41a04498f22e3ba90450bb708f3c9 (patch) | |
| tree | 806d7400b2a2311ea6b667dd7c6fabf333d42390 | |
| parent | b73752e97f643745f2993c382f19a58a6353548f (diff) | |
| download | culturestrings-5d4a00454fd41a04498f22e3ba90450bb708f3c9.tar.bz2 culturestrings-5d4a00454fd41a04498f22e3ba90450bb708f3c9.tar.xz | |
pagure: pagure.cfg: removed repospanner definitions (not used).
| -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', |