Hi Adrien,
My PR got merged yesterday by Daniel Beck, thanks to him !
TBH, I did not know what to do (hence message here). The maintainers of the
repo are not advertize in the Readme and it does not mention how to get in
touch with "the team" either.
Manuel
On Tue, Dec 11, 2018 at 9:26 PM
Manuel,
did you try to ping a current maintainer?
Le lun. 10 déc. 2018 à 18:12, Manuel Vacelet a
écrit :
> Hi there,
>
> I got a PR on jenkins-infra/repository-permissions-updater pending since
> 19 days without any info about why it's pending.
> I saw in a previous message that there was some