Skip to content

Commit

Permalink
Fix quoting of "master"
Browse files Browse the repository at this point in the history
  • Loading branch information
timj authored and yalsayyad committed Feb 14, 2020
1 parent 0381e37 commit 6aa959a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion work/flow.rst
Original file line number Diff line number Diff line change
Expand Up @@ -493,7 +493,7 @@ We **always use non-fast forward merges** so that the merge point is marked in G
We force push the rebased branch for three reasons:

1. In many repos, GitHub branch protection requires that Travis was run on any commits before they can be pushed onto master.
Branch protections also require that the branch is up-to-date with `master` before a merge is allowed.
Branch protections also require that the branch is up-to-date with ``master`` before a merge is allowed.
2. The policy is to delete branches that have been merged. This is only possible if the exact commit has been merged.
3. For convenience, GitHub will automatically close pull requests if the corresponding branch has been merged to master.

Expand Down

0 comments on commit 6aa959a

Please sign in to comment.