Morning, Will we lose the connection between the PRs and JIRA tickets as well? That would be ... not so good.
Next, what prevents us from having a working Jenkins again? If the build env is so reproducable, why can't Jenkins reproduce it? I'm not really involved in the CI stuff so please bear with me and my possibly dumb questions. Have fun, JensG ________________________________ Von: Aki Sukegawa Gesendet: 10.06.2016 05:14 An: [email protected] Betreff: [DISCUSS] Disable Github -> Jenkins pull request hook Hi, Our Jenkins build has been dead for a while now. The thing is that the job is only a subset of Travis-CI jobs. So we can proceed just fine with Travis-CI and Appveyor without losing any test case. To be clear, our Jenkins build has not been sufficient alone during recent years. On the other hand the Travis-CI build covers more cases and contains what the Jenkins job currently does. If there's no concerns, I'll request Apache infra team for removal of our Github-Jenkins integration, on their JIRA. Thought ?
