fix type in access_github_through_proxy