Re: Deriving release notes from git commit messages

Excerpts from Andres Freund's message of sáb jul 02 10:19:07 -0400 2011:
> On Saturday, July 02, 2011 06:10:43 AM Tom Lane wrote:
> > I wouldn't have a problem with establishing a convention that we
> > write credits in commit messages in a more standardized way, ie put
> > something like "Author: Joe Blow <joe(at)blow(dot)nom>" in the body of the
> > commit message. However, the points that were raised about commit
> > messages being effectively uncorrectable after-the-fact seem to me
> > to put a big crimp in the idea of using that as the primary source
> > of credit information. We'd still need something like the web app
> > Robert described in <BANLkTimOxDA08qM4LSH4QjA3YZtyuuewsA(at)mail(dot)gmail(dot)com>
> > to allow correction of the info.
> There are git notes which you can attach to a commit after the fact... I like
> the fact that they would keep the information in the repository (where they
> seem to belong).

Does anyone know how do git notes propagate from one repo to another?
I'm not sure that they are copied on "git push".

If they don't, they would be pretty useless, so I assume there must be a
way.

--
Álvaro Herrera <alvherre(at)commandprompt(dot)com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support