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:

  1. never ever modify master or whatever mainline branch called
  2. base pull request branches on master
  3. whenever there changes upstream master integrate them fast forwarding master upstream one.

that way pull requests stay nice , clean , won't have issues rejected commits popping in subsequent pull requests.


Comments

Popular posts from this blog

python - Subclassed QStyledItemDelegate ignores Stylesheet -

java - HttpClient 3.1 Connection pooling vs HttpClient 4.3.2 -

SQL: Divide the sum of values in one table with the count of rows in another -