Est-il possible que git mette automatiquement à jour les notes sur le serveur distant quand je fais un git push/git pull

Question

Actuellement, si j'ajoute des notes à un objet dans git, je dois pousser/tirer explicitement cette information vers le serveur distant.

Est-il possible de configurer git de sorte que lorsque je fais un git push, il va pousser mes changements de notes locales ainsi que les changements de sources locales?

De même pour git pull.

Answer 1

Oui pour git pull, non pour git push.

Vous pouvez chercher des notes:

[remote "origin"] 
    fetch = +refs/notes/*:refs/notes/* 
    fetch = +refs/heads/*:refs/remotes/origin/* 

mais, comme mentionné dans "Note to Self" (2010, mais je ne pense pas que cela a changé):

Cependant, vous ne pouvez pas Poussez n'importe quoi sous 'refs/' vers un serveur, vous avez juste besoin d'être plus explicite à ce sujet. Si vous exécutez cela, il fonctionne très bien:

$ git push origin refs/notes/bugzilla 

En fait, vous pouvez simplement faire ce git push origin refs/notes/* qui poussera toutes vos notes.
Ceci est what Git does normally for something like tags. Lorsque vous exécutez git push origin --tags, il s'étend essentiellement à git push origin refs/tags/*.

git push ne pousse pas tous les tags par défaut (voir "Why git doesn't push tags by default?").
git push ne pousse pas toutes les notes pour la même raison.