Merge branch 'patch_rocks_db' into 'keydbpro'

public copy of rocksdb

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

Former-commit-id: 4421396764688f7df2c967974f6a3b5dca28e3f5

.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