splited the case of a PR that came from the original repo and the cas…

…e when the request came from a fork, in the latter case will try to trit it as not a PR

.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<<EOF" >> $GITHUB_OUTPUT