If a user changed the repo URL after a clone was performed, it would not get used. Fixes #90pull/92/head
parent
3c9a2d3337
commit
4cf8731efb
Loading…
Reference in new issue