Re: Announcing GNOME's official GitHub mirror

[Federico Mena Quintero <federico gnome org>]

On Thu, 2013-08-15 at 11:03 +0200, Alberto Ruiz wrote:

> I've been working with the GitHub guys and Andrea Veri on setting up a
> mirror for all GNOME repos in GitHub.

This is great news!  It should make it easier for people to keep
independent/experimental branches of Gnome modules and have a place to
collaborate.

> There's no intention to support pull requests or to depend in any way
> in this service, this is just a nice-to-have to serve the GitHub's
> community and user base.

There is an API to probe pull requests, and it is described at
http://developer.github.com/v3/pulls/

I don't know if there's an RSS feed or something for pull requests.  But
either with that or with the API, someone could do a weekend hack to
notify module maintainers of pull requests, maybe.

In any case, having the mirror is great news.  Thanks for all the work
to make it happen :)

  Federico