commit f0605283962ca61f35587d542c4cd684548168bd
author Joshua Haberman <jhaberman@gmail.com> Mon May 13 10:12:51 2019 -0700
committer Joshua Haberman <jhaberman@gmail.com> Mon May 13 10:12:51 2019 -0700
tree 875acb49ee5507ea9ad2bcc5146fb3c7c7d31eac
parent 0fea70b4d9e6c0fd95420893607f462c7308e490

Updated protobuf to point to main repo.

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 780b3c4..bcb00f0 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -22,11 +22,8 @@
 
 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(