On 22.03.2016 18:42, Jakub Bogusz wrote:
On Mon, Mar 21, 2016 at 11:45:49PM +0200, Elan Ruusamäe wrote:
i added git note to some commit
but it appears not to be pushed out with just 'git push'. should it?
Notes are not pushed by default, one can do
$ git push origin refs/notes/commits
(or so)
so, as builder -a will setup fetch refs, why not setup similarily push refs?
in the blog they say refs aren't very good when multiple authorities
maintain them
https://git-scm.com/blog/2010/08/25/notes.html
or the push note refs aren't just setup because it's just not done?
--
glen
_______________________________________________
pld-devel-en mailing list
pld-devel-en@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
