GitHub: Fix fileheader workflow.
The workflow must run on the actual change not
on the merge in order to detect properly updated
file header.
@@ -21,6 +21,8 @@ jobs:
steps:
- name: Checkout repository
uses: actions/checkout@v2
+ with:
+ ref: ${{ github.event.pull_request.head.sha }}
- id: files
uses: jitterbit/get-changed-files@v1
- name: Check changed files
