github/help.github.com — pull request #85 by Haacked (2012-01-09 18:13:49+00:00)
Title: Minor correction to push documentation...

Someone on Twitter was confused about the ability to push to a repository to https and pointed out that the documentation was outdated.