Candidates for github-types