Merge branch 'keydbpro' into 'PRO_RELEASE_6'

Keydbpro

See merge request keydb-dev/KeyDB-Pro!37

Former-commit-id: e6a130e4a02b3d0cc2fcaeb0ab24e23cb60a7181

.gitlab-ci.yml

@@ -12,7 +12,7 @@ build:
     - docker
   stage: build
   script:
-    - git submodule init && git submodule update
+    - git submodule update --init --remote
     - make distclean
     - make -j
   artifacts:
@@ -113,7 +113,7 @@ endurance-test:
     - docker
   stage: test
   script:
-    - git submodule init && git submodule update
+    - git submodule update --init --remote
     - make distclean
     - make -j
     - ./runtest --config server-threads 3 --loop --stop
@@ -125,7 +125,7 @@ coverage-test:
     - docker
   stage: test
   script:
-    - git submodule init && git submodule update
+    - git submodule update --init --remote
     - make distclean
     - make gcov -j
     - make install

.gitmodules

@@ -1,6 +1,7 @@
 [submodule "deps/rocksdb"]
 	path = deps/rocksdb
-	url = https://github.com/facebook/rocksdb.git
+	url = https://gitlab.eqalpha.com/submodules/rocksdb.git
+	branch = keydb_v6
 [submodule "deps/depot_tools"]
 	path = deps/depot_tools
 	url = https://chromium.googlesource.com/chromium/tools/depot_tools.git