Avoid converting unrelated refs on pull
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)
This instance will be updated to Heptapod 18.6.0rc1 on 2025-12-08 between 11:00 and 12:00 UTC+1 (Europe/Paris)
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)