Avoid converting unrelated refs on pull
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)
All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
Github will often save PR-related commits as refs; we shouldn't convert those.
Closes #386 (closed)