Skip to content

Don't run reviewer lottery from bots#397

Merged
christophfroehlich merged 4 commits intoros-controls:masterfrom christophfroehlich:ci/testDec 24, 2023

Commits

Commits on Dec 24, 2023