pull: whitelist HEAD ref
Follow-up to !193 (merged) that fixes an omission in the code it relied upon.
See #386 (closed).
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
Follow-up to !193 (merged) that fixes an omission in the code it relied upon.
See #386 (closed).