Is the github.ref filled inside a merge_group

Author: Michael Vasseur

.github/workflows/webstandard.yml

@@ -50,6 +50,7 @@ jobs:
             db: install
     steps:
       - uses: actions/checkout@v4
+      - run: echo "${{ github.ref }}"
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh ${{ matrix.role }}
       - name: Run webstandard tests (W3C, WCAG)