From 36c57de871043ef3a7adb03a56fdc5599c883dd9 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 8 Feb 2023 19:39:40 +0100 Subject: [PATCH] PROTOCOLS_BRANCH --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4098eb9..d42d3f0 100644 --- a/Makefile +++ b/Makefile @@ -23,11 +23,12 @@ test: setup testonly testonly: raco test -p $(PACKAGES) +PROTOCOLS_BRANCH=main pull-protocols: git subtree pull -P syndicate/private/protocols \ -m 'Merge latest changes from the syndicate-protocols repository' \ git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \ - main + $(PROTOCOLS_BRANCH) fixcopyright: -fixcopyright.rkt --preset-racket LGPL-3.0-or-later