Skip to content

Avoid converting unrelated refs on pull

Github will often save PR-related commits as refs; we shouldn't convert those.

Closes #386 (closed)

Merge request reports