Alvaro Herrera <alvherre@commandprompt.com> writes:
> 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.
[ googles... ] According to
http://progit.org/2010/08/25/notes.html
it is possible, but neither push nor pull is automatic, which means
they're probably next door to useless for us. Oh well.
regards, tom lane
