From 270329d9b16c0ed12f2ed65422774a349f4c0835 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= Date: Mon, 3 Oct 2016 11:26:04 +0200 Subject: [PATCH] Editorial: simplify advice for pr/* branches Also fix the indentation. --- TEAM.md | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) diff --git a/TEAM.md b/TEAM.md index d09d21e6840..5dd3982a746 100644 --- a/TEAM.md +++ b/TEAM.md @@ -27,21 +27,12 @@ To do all that, use these steps: ``` [remote "origin"] - fetch = +refs/pull/*/head:refs/remotes/origin/pr/* - ``` - - If you change your mind later about globally enabling that behavior, you can disable it by removing those lines. - - * Alternatively, to enable automatic fetch of branches in PRs from forks **just for this repo**, make the following addition to your `.git/config` file in this directory: - - ```diff - [remote "origin"] - url = git@github.com:whatwg/html.git - fetch = +refs/heads/*:refs/remotes/origin/* - + fetch = +refs/pull/*/head:refs/remotes/origin/pr/* + fetch = +refs/pull/*/head:refs/remotes/origin/pr/* ``` - (Omit the `+` sign; it’s just `diff` syntax to get the markdown viewer to highlight the line.) + If you change your mind later about globally enabling that behavior, you can disable it by removing those lines. + + * Alternatively, to enable automatic fetch of branches in PRs from forks **just for this repo**, omit `--global` from the above command. 2. Run `git fetch` or `git pull` to do the initial fetch of all branches for current PRs.