Commit f535bcd44604b1994b9d4fe351236dc1a69758d8

Stefan Sperling 2020-09-30T16:38:17

fix 'bad path' error from 'got clone' by unveiling the repository path again Problem found by jrick