a repo to check out GitHub