uwiger/gproc — pull request #23 by xenolinguist (2012-07-20 01:40:06+00:00)
Title: Change deps URIs from git to https protocols

Some unfortunate users are behind restrictive firewalls
which block the git protocol. HTTPS on the other hand
works almost everywhere.