Release of v0.1.3

Ensure we fully mirror a repo to ensure all (work)tree's are available.

- reposync: Force git to fetch all
- reposync: clone as mirror instead of just bare