auto fetch/merge/sync on push

2023-01-25 18:16:48 -08:00 · 2023-01-25 18:16:48 -08:00 · c6d3a512e4
parent 2f35ff6304
commit c6d3a512e4
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -557,6 +557,8 @@ cmd_add(){

 cmd_push() {
 	[ "$#" -eq 0 ] || { usage push; exit 1; }
+    git fetch origin refs/notes/signatures:refs/notes/origin/signatures
+    git notes --ref signatures merge -s cat_sort_uniq origin/signatures
 	git push --tags origin refs/notes/signatures
 }