From 6aa959a71e2a8318b4600376e2494767542b4589 Mon Sep 17 00:00:00 2001 From: Tim Jenness Date: Wed, 2 Oct 2019 10:27:07 -0700 Subject: [PATCH] Fix quoting of "master" --- work/flow.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/work/flow.rst b/work/flow.rst index f6c4c4a7..23e287bc 100644 --- a/work/flow.rst +++ b/work/flow.rst @@ -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.