Clarify PR closure limitation in comment response - #317
Closed
JakobJingleheimer with Copilot wants to merge 1 commit into
Closed
JakobJingleheimer with Copilot wants to merge 1 commit into
JakobJingleheimer with Copilot wants to merge 1 commit into
Commits
Commits on Dec 25, 2025
- committed