{"payload":{"header_redesign_enabled":false,"results":[{"id":"567658607","archived":false,"color":"#d0b68c","followers":6,"has_funding_file":false,"hl_name":"gares/math-comp-school-2022","hl_trunc_description":null,"language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":567658607,"name":"math-comp-school-2022","owner_id":1013846,"owner_login":"gares","updated_at":"2022-12-15T21:51:14.470Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":57,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Agares%252Fmath-comp-school-2022%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/gares/math-comp-school-2022/star":{"post":"MJdPRneqD78BCa9WlGkyKzb4xFKl3R3N3pSWEcXeVnp3x0TuggxuR8nnoRK9h_5sQ-U4UgMW5ZSup4J6ROEtbQ"},"/gares/math-comp-school-2022/unstar":{"post":"5hxS6CJHCuYK8ArJ_F5soilWrQEq2XgKLGiXqgsBo2qz75vKAQcb0KbsnC2h9qommMdwrIIDApZSZ1QOgJqtTw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_AOC_Ol1tIfmlI_vWA5LHhNBD-A653hExgsVXsRBn745CaHWSwx6XvvMCdCbQU40rBewbE_-1GOw_xWoOI0tYA"}}},"title":"Repository search results"}