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
[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
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
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
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
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
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