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 < [email protected]> wrote: > Manuel, > > did you try to ping a current maintainer? > > Le lun. 10 déc. 2018 à 18:12, Manuel Vacelet <[email protected]> > 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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/b53d8a38-8e4c-4d66-a01f-681daec6d81c%40googlegroups.com >> <https://groups.google.com/d/msgid/jenkinsci-dev/b53d8a38-8e4c-4d66-a01f-681daec6d81c%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> 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 > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvy%2B7j9dGWQd34tB42sb1GhDjBX6Y9XmjCKGhdjvriG8%2Bw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAKwJSvy%2B7j9dGWQd34tB42sb1GhDjBX6Y9XmjCKGhdjvriG8%2Bw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > 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 [email protected]. 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.
