1 files changed, 6 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 54d27f06a9..da63c5fea8 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -72,6 +72,12 @@ local_repository(
     path = "third_party/gflags",
 )
 
+git_repository(
+    name   = "mongoose_repo",
+    commit = "4120a97945b41195a6223a600dae8e3b19bed19e",
+    remote = "https://github.com/makdharma/mongoose.git"
+)
+
 new_local_repository(
     name = "submodule_cares",
     path = "third_party/cares",