diff --git a/tool/pull_subproject b/tool/pull_subproject new file mode 100755 index 00000000..0b0bbf55 --- /dev/null +++ b/tool/pull_subproject @@ -0,0 +1,11 @@ +#!/usr/bin/env bash +# +# Simple tool script that pulls an angel-dart/ project into ./packages/. + +if [ "$1" == "" ]; then + echo "usage: pull_subproject " + exit 1 +fi + +set -ex +git subtree add prefix="./packages/$1" "https://github.com/angel-dart/$1.git" master