check out a repo