diff --git a/.circleci/lint-changed-python-files.sh b/.circleci/lint-changed-python-files.sh deleted file mode 100755 index a1be79cf0a..0000000000 --- a/.circleci/lint-changed-python-files.sh +++ /dev/null @@ -1,11 +0,0 @@ -#! /usr/bin/env bash - -last_tagged_commit=`git describe --tags --abbrev=0 --first-parent` # --first-parent ensures we don't follow tags not published in master through an unlikely intermediary merge commit - -if ! changes=$(git diff-index --name-only --diff-filter=ACMR --exit-code $last_tagged_commit -- "*.py") -then - echo "Hello boss, I'm linting the following changed files:" - echo $changes - flake8 $changes -else echo "Could't find changed files, come visit again!" -fi