时间戳

首页 > 解决方案 > PR 上的 GitHub REST API 更新分支

github-api - PR 上的 GitHub REST API 更新分支

问题描述

只要你的 PR 不是基于master.

有没有办法通过 REST API 触发这个动作？我在玩https://developer.github.com/v3/pulls/#update-a-pull-request但使用base: 'master'.

标签： github-api

解决方案

事实证明，我实际上问错了问题。重新定位 PR 包括将当前 HEAD 合并master到您的分支中，这可以通过

octokit.repos.merge({
    owner: pr.head.repo.owner.login,
    repo: pr.head.repo.name,
    base: pr.head.ref,
    head: 'masters_HEAD_sha1',
    commit_message: 'Merging master into this branch'
})

推荐阅读