Here are three patches on top of the latest round of request-pull update. The first two are to add a new option to "git branch" command so that a descriptive text that explains what the purpose of the branch is, for use by other commands. And the last one builds on top of the patch this message is a response to, to use that information. And here is the first one, just an unrelated doc clean-up. -- >8 -- Subject: [PATCH 1/3] branch doc: minor formatting fix We tend to use typewriter font when writing command flags that are meant to be typed literally by the user. Signed-off-by: Junio C Hamano <gitster@xxxxxxxxx> --- Documentation/git-branch.txt | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Documentation/git-branch.txt b/Documentation/git-branch.txt index 507b8d0..79424a5 100644 --- a/Documentation/git-branch.txt +++ b/Documentation/git-branch.txt @@ -54,7 +54,7 @@ With a `-d` or `-D` option, `<branchname>` will be deleted. You may specify more than one branch for deletion. If the branch currently has a reflog then the reflog will also be deleted. -Use -r together with -d to delete remote-tracking branches. Note, that it +Use `-r` together with `-d` to delete remote-tracking branches. Note, that it only makes sense to delete remote-tracking branches if they no longer exist in the remote repository or if 'git fetch' was configured not to fetch them again. See also the 'prune' subcommand of linkgit:git-remote[1] for a -- 1.7.7.rc2.4.g5ec82 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html