Hi, As Daniel said, "after a while, *try poking Gregory*". So adding him in cc could help.
He's released a new version of that plugin 15 days ago, so he's pretty active even in this plugin indeed. So even if I understand your will to get an official fix asap, I don't think that would be respectful to him to merge without getting his opinion first. And the Christmas period doesn't help: there's good chance he might be on holiday somewhere with family fixing toasters, phones and microwaves until next Monday at least. IMO your best bet until then is to create a patched version locally. Cheers It's been a week since I commented on the review asking for it to be merged and almost two weeks since I committed the final changes. Can this be merged or can I be given access to merge it? -- 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/d3695894-0896-4006-8a5b-409b46ad8947%40googlegroups.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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS7PHeZD-W6UXYwRjWagyQ_qXvzbhwShGW4Tcc131%3DcsXw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
