From e88ba0afe0734bd0f00d605cae749d443462dab7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 30 Nov 2021 18:45:49 +0100
Subject: [PATCH] pull-protocols target

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index b40fc48..3b62693 100644
--- a/Makefile
+++ b/Makefile
@@ -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