Check repo-tools with repo-tools