Thanks for all the suggestions. They are indeed very helpful! On Wednesday, 1 September 2021 at 23:42:32 UTC+8 Jesse Glick wrote:
> Also https://plugins.jenkins.io/lucene-search/#releases though there may > be a time lag. > > Gavin’s answer is definitive. Also: > https://gist.github.com/jglick/0a85759ea65f60e107ac5a85a5032cae > -- 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/1b2128fa-7591-441e-a203-a1f6e07d1724n%40googlegroups.com.
