GitHub PR#200 Fix download URL in WORKSPACE instructions
GitHub PR#200 Fix download URL in WORKSPACE instructions

--
ede5d29827590a1e5707b2a31774cdc581d2a3ca by Branton Horsley <bhorsley@google.com>:

Fix download URL in WORKSPACE instructions

 * GitHub archive URLs end in ".zip"

Closes #200

GitOrigin-RevId: 0f32cfeac2184cbd3d1bc8b06e6f700b3374b375
Change-Id: I94749fedc91daaf906dc905ca1c9d0c164448282

google/copybara,google/copybara,google/copybara