Avoid converting unrelated refs on pull
Loading
This instance will be upgraded to Heptapod 17.7.0rc1 on 2025-01-23 between 18:00 and 19:00 UTC+2
All legacy (hg-git based) Projects will be automatically migrated to native starting with the upgrade of 2025-01-23
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)