Re: Github's pull requests and GNOME

2017-02-21 Thread Michael Catanzaro
On Tue, 2017-02-21 at 09:57 -0500, Colin Walters wrote: > Hey so...I know this is a crummy situation, but let's keep this > conversation open.  I'm trying to understand the current state - is > there a policy of supporting specific repositories using PRs now? Yes. It's opt-in. If you want GitHub

Re: Github's pull requests and GNOME

2017-02-21 Thread Colin Walters
[bringing this thread back again] On Mon, Dec 5, 2016, at 09:09 AM, Andrea Veri wrote: > Hey, > > added nevimer on the excludes list, your permissions to that > repository have been granted. Hey so...I know this is a crummy situation, but let's keep this conversation open. I'm trying to

Re: Github's pull requests and GNOME

2016-12-05 Thread Andrea Veri
Hey, added nevimer on the excludes list, your permissions to that repository have been granted. cheers, 2016-12-05 15:01 GMT+01:00 Hubert Figuière : > On 29/11/16 10:00 AM, Andrea Veri wrote: > >> Finally the GNOME Infrastructure Team is going to introduce a daily >> cronjob

Re: Github's pull requests and GNOME

2016-12-05 Thread Hubert Figuière
On 29/11/16 10:00 AM, Andrea Veri wrote: > Finally the GNOME Infrastructure Team is going to introduce a daily > cronjob (first run is scheduled next week, enough time for collecting > excludes) that will close all the pull requests for each repository > hosted under the GNOME organization

Re: Github's pull requests and GNOME

2016-11-29 Thread Bahodir Mansurov
Hey, I think the solution is good. May I also suggest that we take advantage of Github's repository description field to indicate that the repositories are read-only mirrors. A quick glance at https://github.com/GNOME repositories shows that https://github.com/GNOME/evolution-data-server comes

Re: Github's pull requests and GNOME

2016-11-29 Thread Carlos Soriano via desktop-devel-list
pull requests and GNOME Local Time: 29 November 2016 4:00 PM UTC Time: 29 November 2016 15:00 From: a...@gnome.org To: desktop-devel-list <desktop-devel-list@gnome.org> Hello, one of the most problematic points we've been discussing since the GNOME Github mirror was introduced [1] (three

Github's pull requests and GNOME

2016-11-29 Thread Andrea Veri
Hello, one of the most problematic points we've been discussing since the GNOME Github mirror was introduced [1] (three years already!) has been the presence of pull requests and the missing feature / functionality to actually turn them off for specific repositories / organizations. What many