From f0605283962ca61f35587d542c4cd684548168bd Mon Sep 17 00:00:00 2001
From: Joshua Haberman <jhaberman@gmail.com>
Date: Mon, 13 May 2019 10:12:51 -0700
Subject: Updated protobuf to point to main repo.

---
 WORKSPACE | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'WORKSPACE')

diff --git a/WORKSPACE b/WORKSPACE
index 780b3c4..bcb00f0 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -22,11 +22,8 @@ http_archive(
 
 git_repository(
     name = "com_google_protobuf",
-    # TODO(haberman): update to protobuf branch oncd this is merged:
-    #   https://github.com/protocolbuffers/protobuf/pull/6126
-    #remote = "https://github.com/protocolbuffers/protobuf.git",
-    commit = "2996da4d817dd006cd8599c74ad2364a897d6107",
-    remote = "https://github.com/haberman/protobuf.git",
+    remote = "https://github.com/protocolbuffers/protobuf.git",
+    commit = "78ca77ac8799f67fda7b9a01cc691cd9fe526f25",
 )
 
 http_archive(
-- 
cgit v1.2.3