pull-protocols target

2021-11-30 18:45:49 +01:00 · 2021-11-30 18:45:49 +01:00 · e88ba0afe0
parent 7b6b5adb0b
commit e88ba0afe0
1 changed files with 6 additions and 0 deletions
--- a/6
+++ b/6
@ -15,3 +15,9 @@ build: clean

 veryclean: clean
 	rm -rf pyenv
+
+pull-protocols:
+	git subtree pull -P syndicate/protocols \
+		-m 'Merge latest changes from the syndicate-protocols repository' \
+		git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \
+		main