Cherry picking changes from PR 6073

This PR contains changes that help with memory issues ray-project#6073
BonsaiAI · Feb 10, 2020 · c5162b4 · c5162b4
1 parent 370594f
commit c5162b4
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/bazel/ray_deps_setup.bzl b/bazel/ray_deps_setup.bzl
@@ -93,11 +93,10 @@ def ray_deps_setup():
     )
 
     # OpenCensus depends on jupp0r/prometheus-cpp
-    http_archive(
+    git_repository(
         name = "com_github_jupp0r_prometheus_cpp",
-        strip_prefix = "prometheus-cpp-master",
-
+        commit = "5c45ba7ddc0585d765a43d136764dd2a542bd495",
         # TODO(qwang): We should use the repository of `jupp0r` here when this PR
         # `https://github.com/jupp0r/prometheus-cpp/pull/225` getting merged.
-        urls = ["https://github.com/jovany-wang/prometheus-cpp/archive/master.zip"],
+        remote = "https://github.com/ray-project/prometheus-cpp.git",
     )