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 upgraded to Heptapod 1.5.0rc (GitLab 16.11.1) on 2024-05-02 at 15:00 UTC+2
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)