19 lines
404 B
Bash
19 lines
404 B
Bash
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd -P)"
|
|
repo_root="$(cd -- "$script_dir/.." && pwd -P)"
|
|
|
|
main() {
|
|
if [[ -d "$repo_root/.git" ]]; then
|
|
git -C "$repo_root" pull --ff-only
|
|
else
|
|
printf 'Skipping git pull because this repository is not initialized as a git repository yet.\n'
|
|
fi
|
|
|
|
"$script_dir/verify.sh" --quick
|
|
}
|
|
|
|
main "$@"
|