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
-
Remove make_diff set of tools
- 8a337b0ed21c 14.0 landed