In the end, we don't want people to use the HTTPS protocol with our GitHub repository.

Indeed, according to
http://git-scm.com/book/en/Git-on-the-Server-The-Protocols, the HTTPS
protocol is simple to set up but it is very inefficient.