pull: whitelist HEAD ref
Follow-up to !193 (merged) that fixes an omission in the code it relied upon.
See #386 (closed).
This instance will be upgraded to Heptapod 1.5.0rc (GitLab 16.11.1) on 2024-05-02 at 15:00 UTC+2
Follow-up to !193 (merged) that fixes an omission in the code it relied upon.
See #386 (closed).