Fixed GitHub MCP Navigation, Pagination, and Filters
GitHub MCP tools now handle nested folders, history pagination, file tree pagination, and merge request filters more reliably.
Fixed several GitHub MCP tool issues that affected repository exploration and merge request retrieval.
This release includes:
explore_listcan browse nested repository folders without returning empty resultsexplore_historyrespects controlled page sizesgit_file_treepaginates file trees without duplicate pagesgit_mr_listapplies state, search, and branch filters
Agents can now browse GitHub repositories and narrow merge request results more predictably.