{"payload":{"header_redesign_enabled":false,"results":[{"id":"27192704","archived":false,"color":"#b30000","followers":51,"has_funding_file":false,"hl_name":"ToJans/idris101","hl_trunc_description":"Learning project by a group of people interested in learning the Idris language","language":"Idris","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":27192704,"name":"idris101","owner_id":155977,"owner_login":"ToJans","updated_at":"2015-02-18T19:19:48.145Z","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":73,"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%253AToJans%252Fidris101%2B%2Blanguage%253AIdris","metadata":null,"csrf_tokens":{"/ToJans/idris101/star":{"post":"NIQpju_D0bdj2oJ3JDozag9S0rlPvO_KCRx4cjQ6i5uziM7h7fIyqOZ2KHfxjW_OO7vuvx3cIN7Y6Tdl2000vw"},"/ToJans/idris101/unstar":{"post":"n3sYfwqZOQENmb3mq6Gh1G0itLcT3DMLUg0M4YZulnHlZC9NwDXXJpVaOWmpBoPyBo02-v21209cewJJDuBrmg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"MiUYofincrx0LrKovfTERTtB3uBs5PEOZYvAlWPy4dBeF_LDRAP8xDZ2zHuG7Saz2KvVrcjUsvgXstgO6Cag6g"}}},"title":"Repository search results"}