You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: work/flow.rst
+4-3
Original file line number
Diff line number
Diff line change
@@ -487,9 +487,10 @@ We **always use non-fast forward merges** so that the merge point is marked in G
487
487
git push
488
488
489
489
We force push the rebased branch for three reasons:
490
-
(1) In many repos, branch protection requires that Travis was run on any commits before they can be pushed onto master
491
-
(2) The policy is to delete branches that have been merged. This is only possible if the exact commit has been merged.
492
-
(3) For convenience, Github will automatically close pull requests if the corresponding branch has been merged to master.
490
+
491
+
1. In many repos, branch protection requires that Travis was run on any commits before they can be pushed onto master
492
+
2. The policy is to delete branches that have been merged. This is only possible if the exact commit has been merged.
493
+
3. For convenience, GitHub will automatically close pull requests if the corresponding branch has been merged to master.
493
494
494
495
**GitHub pull request pages also offer a 'big green button' for merging a branch to master**.
495
496
We discourage you from using this button since there isn't a convenient way of knowing that the merged development history graph will be linear from GitHub's interface.
0 commit comments