On Tue, Aug 6, 2024 at 9:57 AM Marcos Pegoraro <marcos@f10.com.br> wrote:
> Loved, except that the commit id does not help too much, so I don't think we need it.
> I think a numbered link would be better.
I think the commit ID is quite useful. If you're using git, you can do
"git show $COMMITID". If you're using the web, you can go to
https://git.postgresql.org/pg/commitdiff/$COMMITID
Big -1 for removing the commit ID.
--
Robert Haas
EDB: http://www.enterprisedb.com