Re: PRs on jenkins-infra/repository-permissions-updater

[Vacelet, Manuel]

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 Adrien Lecharpentier <
adrien.lecharpent...@gmail.com> wrote:

> 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 infra issues in
>> artifactory, is that related ?
>>
>> How can I move forward ?
>>
>> Thanks,
>> Manuel
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "Jenkins Developers" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to jenkinsci-dev+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/jenkinsci-dev/b53d8a38-8e4c-4d66-a01f-681daec6d81c%40googlegroups.com
>> 
>> .
>> For more options, visit https://groups.google.com/d/optout.
>>
>
>
> --
> Adrien Lecharpentier
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "Jenkins Developers" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/jenkinsci-dev/xz5KCs9ynKY/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
> jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvy%2B7j9dGWQd34tB42sb1GhDjBX6Y9XmjCKGhdjvriG8%2Bw%40mail.gmail.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAP66XbGJGBmXmBjFu6qzvbBWGJ__f1TmqW%2BUxwRY_XSFV3JXwQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Re: PRs on jenkins-infra/repository-permissions-updater

[Adrien Lecharpentier]

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 infra issues in
> artifactory, is that related ?
>
> How can I move forward ?
>
> Thanks,
> Manuel
>
> --
> You received this message because you are subscribed to the Google Groups
> "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to jenkinsci-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/jenkinsci-dev/b53d8a38-8e4c-4d66-a01f-681daec6d81c%40googlegroups.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>


-- 
Adrien Lecharpentier

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvy%2B7j9dGWQd34tB42sb1GhDjBX6Y9XmjCKGhdjvriG8%2Bw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.