master doc: avoid directing users to HTTP (#828)

Tobias Nießen authored GitHub committed

Push event #27 passed

  • Ran for
  • Total time