diff --git a/.github/script.sh b/.github/script.sh index 64589dbbf..9a131ba44 100644 --- a/.github/script.sh +++ b/.github/script.sh @@ -1,5 +1,5 @@ -python .github/add-headers.py python .github/replace.py +python .github/add-headers.py for file in *; do [[ -f "$file" ]] && mv "$file" "${file,,}" 2>/dev/null