Allow bot to ignore changed files e.g. when github api has not properly updated file count - #2806
Conversation
|
A new Pull Request was created by @smuzaffar for branch master. @akritkbehera, @cmsbuild, @iarspider, @raoatifshad, @smuzaffar can you please review it and eventually sign? Thanks. |
|
cms-bot internal usage |
| pr = repo.get_pull(prId) | ||
| if pr.changed_files == 0: | ||
| if (pr.changed_files == 0) and ( | ||
| not [ |
There was a problem hiding this comment.
any(line == "<cmsbot ignore-changed-files/>" for line in ensure_ascii(pr.body).split("\n"))
There was a problem hiding this comment.
@smuzaffar should I forward-port this to the new bot?
…ly updated file count
31f484a to
ce2dbae
Compare
|
Pull request #2806 was updated. |
|
please test with cms-sw/root#233 for CMSSW_20_1_ROOT6_X |
|
abort |
|
please test |
|
+externals bot processign showed no issues, so let merge it so that bot can properly process cms-sw/root#233 |
|
This pull request is fully signed and it will be integrated in one of the next master IBs after it passes the integration tests. This pull request will now be reviewed by the release team before it's merged. @sextonkennedy, @mandrenguyen, @ftenchini (and backports should be raised in the release meeting by the corresponding L2) |
|
+1 Summary: https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-ae6731/54469/summary.html Comparison SummarySummary:
|
See https://github.com/orgs/community/discussions/200746