Add enhancement comment

Ability to define which tools are available for included GitHub-MCP-Server #247

Sign in to view logs

Triggered via issue October 28, 2025 10:51

owenniblock

labeled #419 fea0e8d

Status Skipped

Total duration 1s

Artifacts –

feature-request-comment.yml

on: issues

add-comment-to-enhancement-issues