I have my pipeline which refreshes the PR list after every 5sec. Also, it uses the GitHub label "LGTM" to filter the PRs. Now I have PR #1 without the "LGTM" tag. And PR #2 generated after PR1, with LGTM tag.
After the pipeline is refreshed and PR2 is picked by concourse, I added the label "LGTM" to PR#1.
But now the pipeline is not showing PR#1.
- name: my_pr
type: github-pr
source:
repository: *********
access_token: ((token))
labels: ["LGTM"]
check_every: 5m