This repository has been archived by the owner on Apr 14, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #4127 - TimMoore:comment-on-git-vs-https-github-urls, r…
…=segiddins Explain why we don't use HTTPS for github sources There are frequent pull requests proposing this change, which has already been merged to 2-0-dev. Hopefully, this will help avoid so much wasted time.
- Loading branch information