diff options
author | Nicholas DeMarinis <ndemarinis@wpi.edu> | 2023-09-29 09:40:53 -0400 |
---|---|---|
committer | Nicholas DeMarinis <ndemarinis@wpi.edu> | 2023-09-29 09:40:53 -0400 |
commit | e213d1b2b45415c3faff4bb4fdae874bdfcac16d (patch) | |
tree | f5d0531b9fff167a62a4d323c3714027a52e7fa9 /util/update_from_stencil | |
parent | 6739e13c64fd2e9a4796cab6fa9c99a2d6134428 (diff) |
Added stencil update script.
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 $@ |