Re: Github branch source plugin: ignore archived repos

2018-10-18 Thread Baptiste Mathus
If confirmed, that would definitely sound like a bug IMO. Le ven. 19 oct. 2018 à 00:35, Jan Monterrubio a écrit : > I assume you’re using something like an Organization Folder that’s > scanning those? > > > > On Thu, Oct 18, 2018 at 08:43 Denis wrote: > >> As a workaround you could rename the J

Re: Github branch source plugin: ignore archived repos

2018-10-18 Thread Jan Monterrubio
I assume you’re using something like an Organization Folder that’s scanning those? On Thu, Oct 18, 2018 at 08:43 Denis wrote: > As a workaround you could rename the Jenkinsfile on those repositories to > something like Jenkinsfile_ar > > > On October 18, 2018 10:48:41 AM GMT+03:00, "Louis Piët

Re: Github branch source plugin: ignore archived repos

2018-10-18 Thread Denis
As a workaround you could rename the Jenkinsfile on those repositories to something like Jenkinsfile_ar On October 18, 2018 10:48:41 AM GMT+03:00, "Louis Piët" wrote: >Hi, > >We are using the git hub branch source plug in to automatically >discovery >most of our projects on github, this work

Github branch source plugin: ignore archived repos

2018-10-18 Thread Louis Piët
Hi, We are using the git hub branch source plug in to automatically discovery most of our projects on github, this works like a charm, however we are running into an issue with archived repos. These are read only and only kept for reference/auditors, if they contain a Jenkisfile however, they