diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md deleted file mode 100644 index faae9752..00000000 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,12 +0,0 @@ -# pull request template - - - - - - ---- - -Reviewer Resources: - -[Track Policies](https://github.com/exercism/bash/blob/master/POLICIES.md) diff --git a/bin/check_test_cases b/bin/check_test_cases deleted file mode 100755 index 36595467..00000000 --- a/bin/check_test_cases +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash -die() { echo "$*" >&2; exit 1; } - -cd "$(dirname "$0")"/.. || die "cannot cd" - -bin/fetch-configlet || die "cannot fetch configlet" -bin/configlet lint || die "resolve config.json problems first" -bin/configlet sync --check "$@"