am 33d10038: am df59a71e: am 947134b3: Merge "Docs: Making the repo download link HTTPS"

* commit '33d100389ac25372ba56e35b75d4349a1cf57036':
  Docs: Making the repo download link HTTPS