maria-developers team mailing list archive

Thread
Date

Re: 62c2d0f3e1f: Added mariadb-config.1 to .gitignore

To: Michael Widenius <monty@xxxxxxxxxxx>
From: Sergei Golubchik <serg@xxxxxxxxxxx>
Date: Mon, 13 Apr 2020 21:46:59 +0200
Cc: maria-developers@xxxxxxxxxxxxxxxxxxx
In-reply-to: <vECRR896BmK.A.MAF.ArEleB@pweza>
User-agent: Mutt/1.10.1 (2018-07-13)

Hi, Michael!

On Apr 13, Michael Widenius wrote:
> revision-id: 62c2d0f3e1f (mariadb-10.5.2-125-g62c2d0f3e1f)
> parent(s): bc5c062b1d1
> author: Michael Widenius <monty@xxxxxxxxxxx>
> committer: Michael Widenius <monty@xxxxxxxxxxx>
> timestamp: 2020-04-09 01:37:02 +0300
> message:
> 
> Added mariadb-config.1 to .gitignore

Where does it come from, where is it created?
I've just grepped the whole tree, I don't see it ever gets created
anywhere, so why to ignore it?

> diff --git a/.gitignore b/.gitignore
> index 8d3b5245447..8bd46093cbe 100644
> --- a/.gitignore
> +++ b/.gitignore
> @@ -581,6 +581,7 @@ man/mariadb-check.1
>  man/mariadb-client-test.1
>  man/mariadb-client-test-embedded.1
>  man/mariadb_config.1
> +man/mariadb-config.1
>  man/mariadb-convert-table-format.1
>  man/mariadbd.8
>  man/mariadbd-multi.1
> 
Regards,
Sergei
VP of MariaDB Server Engineering
and security@xxxxxxxxxxx