Rename private/collocatordb to ids-kl/collocatordb
Change-Id: Ic97729ff5218735cd6495f89abab39d979a4e3a9
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8067e20..8450e46 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@
- end_section rocksdb_shared
- start_section install_collocatordb "Building and installing collocatordb"
- - git clone "https://korap.ids-mannheim.de/gerrit/private/collocatordb"
+ - git clone "https://korap.ids-mannheim.de/gerrit/ids-kl/collocatordb"
- cd collocatordb
- mkdir -p build
- cd build