Replace HTTP feed address

Use Github since the one provided by gitolite does not seem to be sufficient to
act as a feed repository.