3ответов 15 Как получить pull request id из трубопровода Дженкинса github github-organizations jenkins-pipeline