Skip to content

[CI] Do not run reviewer lottery on bot PRs#1250

Merged
bmagyar merged 1 commit intoros-controls:masterfrom
christophfroehlich:ci/reviewer_lottery
Dec 27, 2023
Merged

[CI] Do not run reviewer lottery on bot PRs#1250
bmagyar merged 1 commit intoros-controls:masterfrom
christophfroehlich:ci/reviewer_lottery

Commits

Commits on Dec 27, 2023