#dev 2018-05-24

2018-05-24 UTC

Zegnat Can’t you `git init` in the current folder you are using for known, then add the Known github repo as a remote, and fetch from there? That sounds like it should work.