{"payload":{"header_redesign_enabled":false,"results":[{"id":"48681951","archived":false,"color":"#d0b68c","followers":10,"has_funding_file":false,"hl_name":"csvoss/coqingbird","hl_trunc_description":"To Mock a Mockingbird, formalized in Coq","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":48681951,"name":"coqingbird","owner_id":3229696,"owner_login":"csvoss","updated_at":"2016-03-09T20:18:40.224Z","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":63,"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%253Acsvoss%252Fcoqingbird%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/csvoss/coqingbird/star":{"post":"QFfxxsqoI7CD6g98-W58EN9sFt6ColG1lB-OtP2ugCXUDtVEoBp8QQ23JfZGzjFsO78JFmA0wyPdDODMR5Z8zw"},"/csvoss/coqingbird/unstar":{"post":"kEIhrIIyE4sAyILT8L6gwDbcGIFHOVZM6AWTxe-7itlTF-wq5i80d_CIHBOAsX-Pad4_C06NyAtgG1X0kIQqHA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"SgWvKvpIOkf77q5dORTx65iz839M1WjkdXYFLAp1BASctxdHwtVWl8g39l5UVMCneELYOehqLUoFW9J8dA9pmg"}}},"title":"Repository search results"}