On 03/25/2018 07:28 PM, Hal Murray wrote:
> That gives me a local note, but git push doesn't do anything and git clone
> doesn't copy it.
>From some Googling...
This should make notes push by default:
git config --add remote.origin.push \
'+refs/notes/commits:refs/notes/commits'
Since this is the first set of notes, push them:
git push
Then setup to pull them by default:
git config --add remote.origin.fetch \
'+refs/notes/commits:refs/notes/commits'
Make sure pulling does not give an error:
git pull
--
Richard
_______________________________________________
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel
