Skip to content

Document @mintlify GitHub PR comment feature#2037

Closed
mintlify[bot] wants to merge 3 commits intomainfrom
mintlify/docs-mintlify-comment-listener-9230
Closed

Document @mintlify GitHub PR comment feature#2037
mintlify[bot] wants to merge 3 commits intomainfrom
mintlify/docs-mintlify-comment-listener-9230

Commits

Commits on Dec 4, 2025