On Tue, Jul 25, 2017 at 03:12:50AM -0400, Mark H Weaver wrote:
> Leo Famulari <leo@famulari.name> writes:
> 
> > On Thu, Jul 20, 2017 at 06:06:31PM -0400, Leo Famulari wrote:
> >> Let's change these packages to use HTTPS or HTTP!
> >
> > Well, I don't know any benefit to using HTTP over GIT, so I'm not going
> > to change the packages whose sources are not available over HTTPS.
> 
> One benefit is that HTTP is more readily accessible via proxy servers,
> which is useful for people behind restrictive firewalls, or those who
> wish to use Tor.

Okay, that's indeed a plus for HTTP. I'll review the leftover packages
and see if we can fetch the source over HTTP.