{"payload":{"header_redesign_enabled":false,"results":[{"id":"2454853","archived":false,"color":"#d0b68c","followers":69,"has_funding_file":false,"hl_name":"sfja/sfja","hl_trunc_description":"SoftwareFoundations(Ja)","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":2454853,"name":"sfja","owner_id":1078258,"owner_login":"sfja","updated_at":"2019-10-05T11:04:01.108Z","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":58,"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%253Asfja%252Fsfja%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/sfja/sfja/star":{"post":"ewACq0l64ztKo3bpE7djvnwjysyWMr7w7hIDrFxgp9rDWzNPkv3YYWcn4NgXa5OSmD22HmbILqegw6x8tgNhyw"},"/sfja/sfja/unstar":{"post":"rSYDjGlxLeq6Tzk0julGHA6JX87wSPXJGyxs5WR-V9FNrmmLlgXzp0uWUAzd7gkS1ycrL7vLKHCBQLkiSh64IA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"1h5WM-C-gYn7GFA54bq3PtXLCKl1vrIsvIL2J5H6uM9qKR8SykqVc14GmRYDmFgQT2ucXwVYhezpv2YLfeOMlA"}}},"title":"Repository search results"}