Skip to content

Process all MRs, not just those opened by the associated user#10

Merged
HappyTetrahedron merged 1 commit intomasterfrom fix/scopeJul 12, 2024

Commits

Commits on Jul 12, 2024