diff --git a/ci/github-script/bot.js b/ci/github-script/bot.js index ffa71892c1e8..f178b6028783 100644 --- a/ci/github-script/bot.js +++ b/ci/github-script/bot.js @@ -145,22 +145,10 @@ module.exports = async ({ github, context, core, dry }) => { // This API request is important for the merge-conflict label, because it triggers the // creation of a new test merge commit. This is needed to actually determine the state of a PR. - // - // NOTE (2025-12-15): Temporarily skipping mergeability checks here - // on GitHub’s request to measure the impact of the resulting ref - // writes on their internal metrics; merge conflicts resulting from - // changes to target branches will not have labels applied for the - // duration. The label should still be updated on pushes. - // - // TODO: Restore mergeability checks in some form after a few days - // or when we hear back from GitHub. const pull_request = ( await github.rest.pulls.get({ ...context.repo, pull_number, - // Undocumented parameter (as of 2025-12-15), added by GitHub - // for us; stability unclear. - skip_mergeability_checks: true, }) ).data