make pull-protocols

This commit is contained in:
Tony Garnock-Jones 2021-07-01 10:01:19 +02:00
parent 94c63ef992
commit 4e46d4a381
1 changed files with 6 additions and 0 deletions

View File

@ -41,3 +41,9 @@ arm-binary-release:
arm-binary-debug:
cross build --target=armv7-unknown-linux-musleabihf --all-targets --features vendored-openssl
pull-protocols:
git subtree pull -P protocols \
-m 'Merge latest changes from the syndicate-protocols repository' \
git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \
main