Re: Github's pull requests and GNOME

[Andrea Veri <av gnome org>]

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 <hub figuiere net>:
> 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 umbrella. The closure message will
> > look like this:
>
>
> How does one mark the PR as "don't close" ? I was working with a new
> contributor in a PR that I would have taken to merge the usual
> non-github way. But now the cronjob has closed it. Can't reopen it...
>
> This is the PR:
>    https://github.com/GNOME/nemiver/pull/2
>
> Maybe the cronjob should check whether there was activity from more than
> one person and act on that.
>
> > If you don't want the script to actually run against any of your
> > maintained products, modules, components please drop me an e-mail and
> > I'll make sure proper excludes will be set.
>
> Given that I'm not the official maintainer at all for the module. Just
> MITMing contributions...
> Can we have it reopen? Can I be granted permissions to do so ? (username
> on github is @hfiguiere)
>
> Thanks,
>
> Hub



-- 
Cheers,

Andrea

Debian Developer,
Fedora / EPEL packager,
GNOME Infrastructure Team Coordinator,
GNOME Foundation Board of Directors Secretary,
GNOME Foundation Membership & Elections Committee Chairman

Homepage: http://www.gnome.org/~av