Hi,
apparently https://github.com/jtarchie/github-pullrequest-resource has been replaced by https://github.com/telia-oss/github-pr-resource since the end of 2018 already.
I don't know if this is a problem for the Concourse setup when we switch resources. I remember https://github.com/concourse/concourse/issues/145 but that should be solved.
Let me know what you think. Cheers, Christoph
Comment From: snicoll
I've update the pipeline on master with those changes. Let's see what happens on the next PR :)
Comment From: dreis2211
So you updated the pipeline to my branch? I'm a bit confused because I see no commit 😉
Comment From: snicoll
nope. I updated our pipeline with this PR. I don't have to merge the PR to make that happen. For some reason, building PRs is lagging behind quite a lot, it's not done yet with your Asciidoctor 3.0 PR :/
This PR does not have a CI check (new since the change): https://github.com/spring-projects/spring-boot/pull/19959
Comment From: dreis2211
Good to know that this doesn't need merging to apply it :)
Comment From: snicoll
Alright the CI check is there now so looks like everything is working as expected.