Re: mkid reference

Julien Rouhaud <rjuju123@gmail.com>

From: Julien Rouhaud <rjuju123@gmail.com>
To: Daniel Gustafsson <daniel@yesql.se>
Cc: Magnus Hagander <magnus@hagander.net>, Bruce Momjian <bruce@momjian.us>, PostgreSQL Developers <pgsql-hackers@lists.postgresql.org>
Date: 2021-01-22T14:06:01Z
Lists: pgsql-hackers
Le ven. 22 janv. 2021 à 20:33, Daniel Gustafsson <daniel@yesql.se> a écrit :

> > On 22 Jan 2021, at 12:56, Magnus Hagander <magnus@hagander.net> wrote:
>
> > And maybe even more interestnig -- is there a point to this whole
> > make_diff directory at all in these days of git? Or should we just
> > remove it rather than try to fix it?
>
> There's also src/tools/make_mkid which use this mkid tool.  +1 for
> removing.
> If anything, it seems better replaced by extended documentation on the
> existing
> wiki article [0] on how to use "git format-patch".
>

definitely +1

>

Commits

  1. Remove make_diff set of tools