diff --git a/.github/workflows/check_license_and_history.yml b/.github/workflows/check_license_and_history.yml index 3accc16ac..ddb372dd4 100644 --- a/.github/workflows/check_license_and_history.yml +++ b/.github/workflows/check_license_and_history.yml @@ -21,7 +21,7 @@ jobs: id: changes run: | echo ${{github.event.pull_request.head.repo.full_name}} - 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