Re: [PATCH v3] request-pull: state what commit to expect
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Sep 20, 2011, 23:01 UTC
- Message-ID
- <7vy5xi4y3m.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <7viposfgvd.fsf_-_@alter.siamese.dyndns.org>
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@pobox.com> --- 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