Vibeleaderboard
← All Intel
Intel / repo

github-mcp-server v1.12.0 — GitHub MCP Server 1.12.0

Source
github.com
Author
github-actions[bot]Top Viber
Date

Context

GitHub's Server 1.12.0 lets an tie a pull-request merge to the exact commit it reviewed. The release adds an optional expectedHeadSha field to the merge tool. If another commit arrives before the merge, supplying that identifier causes the changed request to be rejected.

The implementation passes the expected identifier to the existing merge API and returns a mismatch error without retrying against the newer commit. This closes the gap between checking proposed changes and merging them, provided the caller supplies the field. Calls that omit it retain their previous behavior.

Terms in this piece · Glossary
  • MCP — The Model Context Protocol — an open standard that lets any AI assistant plug into any tool or data source without custom integration code.
  • AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
More from github-actions[bot]
Recommended reads
Comments

Checking sign-in…

Loading comments…