From 0d30e272289307663cee78aa1163ef46d2f405d5 Mon Sep 17 00:00:00 2001 From: HAEKADI Date: Fri, 20 Aug 2021 16:31:07 +0200 Subject: [PATCH] Supprime le script linting Python --- .circleci/lint-changed-python-files.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 .circleci/lint-changed-python-files.sh diff --git a/.circleci/lint-changed-python-files.sh b/.circleci/lint-changed-python-files.sh deleted file mode 100755 index a1be79cf0aa..00000000000 --- 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