diff --git a/.github/workflows/check_license_and_history.yml b/.github/workflows/check_license_and_history.yml index a8486f588..e4fd03e91 100644 --- a/.github/workflows/check_license_and_history.yml +++ b/.github/workflows/check_license_and_history.yml @@ -20,7 +20,7 @@ jobs: - name: Get changed files id: changes run: | - if [ ${ github.event.pull_request.head.repo.full_name != 'speedb-io/speedb' }]; then + if [ ${ github.event.pull_request.head.repo.full_name != 'speedb-io/speedb' } ]; then echo "files added or changed in a PR that came from the speedb repo: " git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} -- . ':!.github' ':!*.md' echo "diff_list<> $GITHUB_OUTPUT