Re: Announcing GNOME's official GitHub mirror

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

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

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 :)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]