This repository is in Github, in the SonarSource/sonar-python-enterprise repository. You can get the PR number through the Github CLI: gh pr view --json number.