hashcons: fix div-repo to point to git url