Skip to content

Avoid converting unrelated refs on pull

Dan Villiom Podlaski Christiansen requested to merge topic/1.0.x/issue386 into branch/1.0.x

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

Closes #386 (closed)

Merge request reports