Handle force pushes

Author: marcoandries

.github/workflows/licensecheck.yml

@@ -24,8 +24,8 @@ jobs:
         id: changed-files
         run: |
             echo "Getting changed files from ${{ github.event.before }} to ${{ github.event.after }}"
-            CHANGED_FILES=''
-            if ${{ github.event.before == '0000000000000000000000000000000000000000' }}; then
+            if ${{ github.event.forced }} || ${{ github.event.before == '0000000000000000000000000000000000000000' }}; then
+                echo "First commit on feature branch or force push - getting all changed files compared to 'develop'"
                 git fetch origin develop
                 CHANGED_FILES=$(git diff --name-only remotes/origin/develop ${{ github.event.after }} | xargs)
             else