Re: [PATCH 01/11] Call it "Git User Manual" and remove reference to very old Git version

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 27, 2013, 19:04 UTC
Message-ID: <xmqqsixvc5wb.fsf@gitster.dls.corp.google.com>
In-Reply-To: <1972849803.34382.1377626115372.JavaMail.ngmail@webmail19.arcor-online.net>

Thomas Ackermann <th.acker@arcor.de> writes:

> Reviewed-by: Jonathan Nieder <jrnieder@gmail.com>
> Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
> ---

I tend to agree with Jonathan that this should be "User's Manual".

I've tentatively queued uncontroversial bits from v1 series already on 'pu', by the way, and I do not think I have time to queue rerolls of any topic today, so please expect a longer turn-around time than usual.

Show 15 quoted lines

>  Documentation/user-manual.txt | 5 ++---
>  1 file changed, 2 insertions(+), 3 deletions(-)
>
> diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
> index fe723e4..103ec9a 100644
> --- a/Documentation/user-manual.txt
> +++ b/Documentation/user-manual.txt
> @@ -1,6 +1,5 @@
> -Git User's Manual (for version 1.5.3 or newer)
> -______________________________________________
> -
> +Git User Manual
> +_______________
>  
>  Git is a fast distributed revision control system.