PRs on jenkins-infra/repository-permissions-updater

[Manuel Vacelet]

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

[Adrien Lecharpentier]

Manuel, 

did you try to ping a current maintainer?

--
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-de...@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

[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

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-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvy%2B7j9dGWQd34tB42sb1GhDjBX6Y9XmjCKGhdjvriG8%2Bw%40mail.gmail.com.