Subject: git repo on github

git repo on github

From: Daniel Stenberg <>
Date: Tue, 10 Mar 2015 13:22:06 +0100 (CET)

Hi friends,

The verdict was loud and clear: github it is:

The README and web site have been updated accordingly. I've given the 7 top
committers (apart from myself) push rights

Both issues and pull requests are open.

Oh, and btw, the web site is already on github since a long time in case
someone would feel a desire to help out there:

Received on 2015-03-10