Skip to content

Do not create notifications for copilot PRs which are in progress#8381

Merged
alexr00 merged 4 commits intomainfrom
alexr00/issue8380
Jan 12, 2026
Merged

Do not create notifications for copilot PRs which are in progress#8381
alexr00 merged 4 commits intomainfrom
alexr00/issue8380

Commits

Commits on Jan 9, 2026