Exact version dependency on github-types