Ok, seems we have an issue described here: Pull Requests Analysis with GitHub
Our CI make a local merge of the PR and so that create a local revision, which obviously cannot be detected.
Going to adjust it and update the ticket in case of success.
Ok, seems we have an issue described here: Pull Requests Analysis with GitHub
Our CI make a local merge of the PR and so that create a local revision, which obviously cannot be detected.
Going to adjust it and update the ticket in case of success.