git subtree push for protocols

This commit is contained in:
Tony Garnock-Jones 2024-06-07 11:56:16 +02:00
parent d4abbe33f6
commit 2fd8319105
1 changed files with 4 additions and 0 deletions

View File

@ -30,6 +30,10 @@ pull-protocols:
-m 'Merge latest changes from the syndicate-protocols repository' \
git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \
$(PROTOCOLS_BRANCH)
push-protocols:
git subtree push -P packages/core/protocols \
git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \
$(PROTOCOLS_BRANCH)
fixcopyright:
-fixcopyright.rkt --preset-typescript --file-pattern 'packages/**.ts' GPL-3.0-or-later