On Tue, Aug 6, 2024 at 9:57 AM Marcos Pegoraro <mar...@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
