git - How to update pull-requesting site after pull request has been merged? -
let's github repo b sends pull request github repo a, , suppose pull won't go through without resolving conflicts , merging.
therefore, in order accept changes proposed b, owner of a makes pull request offline repo, performs merge, , pushes merge a. a @ least 1 commit ahead of b.
how b update in sync a? can done entirely within github web interface?
(i imagine 1 answer first question owner of b pull contents of a repo, , push resulting state b repo, wondering if there's way update b repo directly github web interface.)
as far know way achieve using github's web interface creating reverse pull request. comes @ cost of additional merge commit not desirable sums , new pull requests b a include unneccesary commits.
it possible use „git data“ api merge branches, easier , safer on command line.
the strategy recommend others one:
- never ever modify
masteror whatever mainline branch called - base pull request branches on
master - whenever there changes upstream
masterintegrate them fast forwardingmasterupstream one.
that way pull requests stay nice , clean , won't have issues rejected commits popping in subsequent pull requests.
Comments
Post a Comment