github import fails when branch cannot be reopened
to reproduce
in github create a PR with branch "test", close PR and delete branch create a new branch with name test-xxxxxxx with the first 7 digits of the sha of the closed pr hash
github import will fail from now on
These branches get created and can get left behind if a github import is interrupted, and the subsequent import will fail.