diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2019-05-13 10:12:51 -0700 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2019-05-13 10:12:51 -0700 |
commit | f0605283962ca61f35587d542c4cd684548168bd (patch) | |
tree | 875acb49ee5507ea9ad2bcc5146fb3c7c7d31eac /WORKSPACE | |
parent | 0fea70b4d9e6c0fd95420893607f462c7308e490 (diff) |
Updated protobuf to point to main repo.
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -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( |