diff options
author | github-classroom[bot] <66690702+github-classroom[bot]@users.noreply.github.com> | 2023-09-30 22:33:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-30 22:33:47 +0000 |
commit | 18ff290bd2545a5a681d047a70576d694a9ab20b (patch) | |
tree | c953e5d610cef5afd34fc36f11148552ebbe9dff /util/update_from_stencil |
Initial commit
Diffstat (limited to 'util/update_from_stencil')
-rwxr-xr-x | util/update_from_stencil | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/util/update_from_stencil b/util/update_from_stencil new file mode 100755 index 0000000..c0048ea --- /dev/null +++ b/util/update_from_stencil @@ -0,0 +1,19 @@ +#!/bin/bash + +set -euo pipefail + +SCRIPT_DIR="$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" +REPO_DIR=$(realpath "${SCRIPT_DIR}"/..) + +STENCIL_REPO=http://github.com/brown-csci1680/ipstack-template + +main() { + git remote rm stencil || true + git remote add stencil "$STENCIL_REPO" + + git config pull.rebase false + git pull stencil main --allow-unrelated-histories -s ort -Xtheirs --no-edit +} + + +main $@ |