Diff local head with remote base branch

Author: ralfhandl

.github/workflows/check-restricted-files.yaml

@@ -46,6 +46,6 @@ jobs:
 
           echo This PR contains changes to files that should not be changed:
           echo
-          git diff --compact-summary origin/${{ github.event.pull_request.base.ref }} origin/${{ github.event.pull_request.head.ref }} -- versions/
+          git diff --compact-summary origin/${{ github.event.pull_request.base.ref }} -- versions/
 
           exit 1