On Wed, Aug 07, 2024 at 01:08:35PM -0400, Alvaro Herrera wrote: > On 2024-Aug-07, Robert Haas wrote: >> I really wish there was some way to fix commit messages. I had a typo >> in mine today, too. > > We could use git notes. The UI is a bit inconvenient (they have to be > pushed and pulled separately from commits), but they seem useful enough.
Yeah, I spend a lot of time on commit messages because they're pretty much written in stone once pushed. I'd definitely use git notes to add errata, follow-up commits that fixed/reverted things, etc. -- nathan
