Skip to content

Revert "CI workflow to assign PRs to their reviewer"#4094

Merged
saecki merged 1 commit intomainfrom
revert-4088-push-stupqmurmkxm
Feb 12, 2026
Merged

Revert "CI workflow to assign PRs to their reviewer"#4094
saecki merged 1 commit intomainfrom
revert-4088-push-stupqmurmkxm

Commits

Commits on Feb 12, 2026