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 <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
Do not let urgent matters crowd out time for investment in the future.
