J'ai fait ce qui suit pour fusionner les notes Git.
réf : http://vmiklos.hu/blog/git-notes-merge
J'ai cloné un repo, ajouté la référence des notes au commit (refs/notes/commits). Quand je le pousse, le repo central le rejette car il n'est pas rapide - parce qu'il y avait déjà un refs/notes/commits pour cet objet commit. Donc, afin de fusionner cette référence Notes distante avec ma référence Notes locale,
git checkout refs/notes/master
git fetch refs/notes/commits
git merge FETCH_HEAD
Auto-merging 206155715a78c9d91d42cda1de98449d2e0b1d36
CONFLIT (ajouter/additionner) : Fusionner le conflit dans 206155715a78c9d91d42cda1de98449d........
La fusion automatique a échoué ; corrigez les conflits et livrez ensuite le résultat.vi 206155715a78c9d91d42cda1de98449d........ [Réglez le conflit manuellement comme d'habitude]
git add 206155715a78c9d91d42cda1de98449d........
git commit -m "Notes mises à jour"
[detached HEAD 0afb80f] a modifié les notesgit update-ref refs/notes/commits HEAD
git checkout master
La position précédente de HEAD était 0afb80f... notes modifiées
Passage à la branche 'mastergit push origin refs/notes/commits
succès
La question est de savoir si c'est la meilleure façon de procéder.
En suivant la page de manuel de git notes, j'ai essayé ce qui suit.
git fetch refs/notes/commits
git notes merge -v refs/notes/commits
Rien à mettre à jour !
Les étapes ci-dessus n'ont évidemment pas fonctionné pour moi. Existe-t-il un moyen d'utiliser la commande git notes merge et de fusionner les notes, plutôt que la "méthode des branches" comme indiqué dans la première illustration ? Pour mes utilisateurs, cette commande simple serait plus utile.