Hi, The valgrind plugin maintainer seems to be out of action. There are a number of pending pull requests including pipeline support that are really valuable.
Would it be possible for someone to merge these pull requests? Could a new maintainer be appointed? I already posted this to the users list, it was suggested I repost here. It was also asked whether I could take over, and the answer is no. I'm not a java programmer, mostly do C and C++. If necessary I can fix bugs, but I don't have time to start learning the intricacies of modern java and the jenkins framework. If I needed to suggest someone it would be Jan Wulkop who implemented the pipeline support (not yet merged). Cheers, Nils -- 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/cd5e0fd8-b953-48f9-8f74-ae00f00cb31c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
