Re: Who can close GIMP pull requests on github?

[Andrea Veri <av gnome org>]

Hey,

please provide me your github username so I can include you on the
GIMP repository as a collaborator. About closing pull requests
automatically we are looking into using an automated script that
should close the issue and forward the user to Bugzilla. [1]

cheers,

[1] https://bugzilla.gnome.org/show_bug.cgi?id=748078

2016-10-25 18:05 GMT+02:00 Jehan Pagès <jehan marmottard gmail com>:
> Hello!
>
> I have asked this on the desktop-devel-list@ mailing list months ago,
> but never got any answers so I try again on this list. Please if this
> is not considered "infrastructure" hence is again the wrong list, tell
> me where I should ask.
>
> Who has the power over GNOME's github mirrors?
> Could anyone close these: https://github.com/gnome/gimp/pulls
>
> All these "pull requests" are either obsolete, or taken care of, or
> the reporter moved one's requests to bugzilla so they are all good for
> closing.
>
> Also could it be possible to forbid new pull requests and redirect
> people to https://bugzilla.gnome.org/enter_bug.cgi?product=GIMP
> instead? Does github provide this kind of feature?
> Thanks.
>
> Jehan
>
> --
> ZeMarmot open animation film
> http://film.zemarmot.net
> Patreon: https://patreon.com/zemarmot
> Tipeee: https://www.tipeee.com/zemarmot
> _______________________________________________
> gnome-infrastructure mailing list
> gnome-infrastructure gnome org
> https://mail.gnome.org/mailman/listinfo/gnome-infrastructure



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