On Fri, May 23, 2025 at 10:46:09AM +0200, Álvaro Herrera wrote: > On 2025-May-22, Bruce Momjian wrote: > > > Ah, I see, fixed with the attached patch. It might be nice if we had a > > more organized way of recording such commit corrections. > > `git notes` can do that. They can also be used to indicate things such > as commits being reverted.
That seems useful. This web page explains how it can be used: https://stackoverflow.com/questions/20324417/git-get-all-notes-of-a-branch I suppose I would get all of the notes that apply to the commits I am reviewing. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Do not let urgent matters crowd out time for investment in the future.