diff --git a/scripts/bump-ic b/scripts/bump-ic deleted file mode 100755 index 7cf58d0b..00000000 --- a/scripts/bump-ic +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -set -euxo pipefail -cd "$(dirname "$(realpath "$0")")/.." -new_commit="$1" -old_commit="${old_commit:-$(cat scripts/ic-commit)}" - -git grep -l "$old_commit" | xargs -I {} sed -i "s/$old_commit/$new_commit/g" "{}" - -echo "$new_commit" >scripts/ic-commit diff --git a/scripts/ic-commit b/scripts/ic-commit deleted file mode 100644 index 2ec2d7de..00000000 --- a/scripts/ic-commit +++ /dev/null @@ -1 +0,0 @@ -997ab2e9cc49189302fe54c1e60709abfbeb1d42