{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":")"}]}
    ) -> GitRepo {
        patch_name: &'static str,
        GitRepo { url: GitRepoUrl::Github { user, repo }, rev, content_hash, patch_name }