Re: Jenkins Wiki CSS issues

2022-10-20 Thread 'Gavin Mogan' via Jenkins Developers
So we were able to deploy my new web component to this, so now wiki.jenkins.io has our standard nav bar / toolbar on every page, should help get people to the right place (www.jenkins.io). On Thu, Oct 6, 2022 at 4:25 AM Alexander Brandes wrote: > Nice work everyone, the banner is really

Re: Artifactory Problems?

2022-10-20 Thread DuMaM
Hi, I'm still fighting with this problem. I think it's not a settings.xml fault, because it happens on Jenkins CI infra too. https://ci.jenkins.io/blue/organizations/jenkins/Plugins%2Fcrowd2-plugin/detail/master/177/pipeline/63 I use standard settings.xml, fetched with curl from artifactory. I

Re: [JENKINS-68652] Migrate from ANTLR2 to ANTLR4

2022-10-20 Thread Alex Earl
I would like to take a look at this, I don't think the grammars are too hard to convert. I will work on it this week and see how far I get and report back. Sorry for the late jump in. On Wed, Oct 19, 2022 at 8:59 AM Basil Crow wrote: > On Wed, Oct 19, 2022 at 3:24 AM Oleg Nenashev > wrote: > >

Intent to adopt jwt-auth-plugin

2022-10-20 Thread maskedpirate
Intent to adopt jwt-auth-plugin: Link to a plugin you want to adopt https://github.com/jenkinsci/jwt-auth-plugin/ The status of the plugin ("for adoption" or "abandoned") I'm proposing the status of this plugin is "abandoned". I've attempted to contact the maintainer (@narcoticfresh) several

Re: Proposal: Alexander Brandes (@NotMyFault) to join the Core team

2022-10-20 Thread Tim Jacomb
Thanks all, I’ve added Alex to the core team now Welcome aboard On Wed, 19 Oct 2022 at 20:35, Alexander Brandes wrote: > Hey, > > thanks for the thoroughly positive feedback and approval, I submitted a > request to join the team on GitHub: > https://github.com/orgs/jenkinsci/teams/core (I am