Re: Proposal: Expanding the Jenkins Core maintainers team

Created a draft pull request with maintainer guidelines here: https://github.com/jenkinsci/jenkins/pull/4472 Would appreciate feedback On Tuesday, January 28, 2020 at 11:02:58 AM UTC+1, Oleg Nenashev wrote: > > Hi Raihaan, > > Yes, at least it is what our documentation says: *"If you work on

Re: Any plans for the github checks API?

https://github.com/jenkins-infra/jenkins.io/pull/2822/ > Am 03.02.2020 um 05:14 schrieb Marky Jackson : > > I would say this needs a new channel > > >> On Feb 2, 2020, at 8:06 PM, Sladyn Nunes wrote: >> >>  >> Hello, >> One small

Re: Presenting frontend toolchain changes

To circle back, FYI everyone the PR to remove JS-Builder got merged towards 2.217. Feel free to reach out to us at the Jenkins UX SiG group if you have any question, or want to help move the initiative faster :) There's now also a WIP PR to modernize the header:

Re: GitHub issues option in HOSTING

I'm inclined to agree with Joseph and Tim. When maintaining my plugin I often wonder how many bug reports I'm losing because users either: - Can't find their way through our bug tracking system (and all the labels and categories that a bug must be annotated with), compared to GH Issues which

Re: How to create a private repo under github.com/jenkinsci?

Thanks On Monday, February 3, 2020 at 1:31:05 PM UTC+5:30, Gavin Mogan wrote: > > Why do you need it to be private? If it's for your own development, do it > in your own GitHub/org and then request hosting when it's working. > > All plugins hosted in the main update center have to be public and

Re: How to create a private repo under github.com/jenkinsci?

Thanks On Monday, February 3, 2020 at 2:05:48 PM UTC+5:30, Tim Jacomb wrote: > > It’s not possible to have a private repo, the plan that jenkinsci is on > only supports public repos > > On Mon, 3 Feb 2020 at 08:00, 'Gavin Mogan' via Jenkins Developers < > jenkin...@googlegroups.com > wrote: > >>

Re: How to create a private repo under github.com/jenkinsci?

It’s not possible to have a private repo, the plan that jenkinsci is on only supports public repos On Mon, 3 Feb 2020 at 08:00, 'Gavin Mogan' via Jenkins Developers < jenkinsci-dev@googlegroups.com> wrote: > Why do you need it to be private? If it's for your own development, do it > in your own

Re: How to create a private repo under github.com/jenkinsci?

Why do you need it to be private? If it's for your own development, do it in your own GitHub/org and then request hosting when it's working. All plugins hosted in the main update center have to be public and open source. I don't know if there's official but you can review