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
master
or whatever mainline branch called - base pull request branches on
master
- whenever there changes upstream
master
integrate them fast forwardingmaster
upstream one.
that way pull requests stay nice , clean , won't have issues rejected commits popping in subsequent pull requests.
Comments
Post a Comment