git: how to push messages added by git notes to the central git server?
According to here [git-scm.org], you can use
git push <remote> refs/notes/*to push all notes. Fetching can be done with
git fetch origin refs/notes/*:refs/notes/*
According to here [git-scm.org], you can use
git push <remote> refs/notes/*to push all notes. Fetching can be done with
git fetch origin refs/notes/*:refs/notes/*