github: Kill `github_curl`