summaryrefslogtreecommitdiff
path: root/get_definitions.sh
blob: 1733b429adf08aa1350be41dc818c838e70d712b (plain)
1
2
3
4
5
6
7
8
9
#!/bin/sh
set -ex
SHA="$1"
if [ -d definitions ]; then
    sudo rm -rf definitions
fi
git clone --no-checkout ssh://git@git.baserock.org/baserock/baserock/definitions.git
cd definitions
git checkout "$SHA"