On Tue, 28 May 2019 at 15:27, Mickael Istria <mist...@redhat.com> wrote:
> Why is the CI stuff in a dedicated repo and not on the main repo? Could we > try to change it? That would make Maven more "normal" and more accessible > in term of contribution. > I found https://github.com/apache/maven/blob/master/Jenkinsfile in the > main > repo. What is the purprose of this file vs the repo you linked? > correct it's the file to modify for maven core build the other one concern plugins/shared library > Also, I see https://github.com/apache/maven-jenkins-lib/pull/1/files was > merged a year ago and then commented out > > https://github.com/apache/maven-jenkins-lib/commit/317a0e9eff8b1d793141291a4b335bf9b478ccd6 > . Does anyone know what failure was happening? Was it some missing > credentials in the settings.xml ? Unfortunately, I do not have enough > knowledge about Apache infra to help if the issue is credentials. > good question and I don't remember exactly :) make a pr for maven core and I can have a look as I still have access to ASF Jenkins infra. cheers Olivier