diff --git a/.github/workflows/onpush_superlinter.yml b/.github/workflows/onpush_superlinter.yml index ec56d02d1..850065077 100644 --- a/.github/workflows/onpush_superlinter.yml +++ b/.github/workflows/onpush_superlinter.yml @@ -26,12 +26,12 @@ jobs: ( cd "$(dirname $f)" && git update-index --chmod=+x "$(basename $f)" ) done shell: bash - - name: Create New Pull Request If Needed - uses: peter-evans/create-pull-request@v4 + - name: Commit if needed + if: steps.sort.outputs.changed != '' + uses: EndBug/add-and-commit@v9 with: - title: "Github bot : script chmod" - branch-suffix: timestamp - commit-message: "Github bot : script chmod" + message: "Github bot : script executable" + default_author: github_actions run-lint: runs-on: ubuntu-latest