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 _______________________________________________ foundation-list mailing list foundation-list@gnome.org https://mail.gnome.org/mailman/listinfo/foundation-list
