{"payload":{"header_redesign_enabled":false,"results":[{"id":"20803142","archived":false,"color":"#b30000","followers":8,"has_funding_file":false,"hl_name":"raichoo/strangegroup-idris-June2014","hl_trunc_description":"Code I presented in a demo at Strange Group","language":"Idris","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":20803142,"name":"strangegroup-idris-June2014","owner_id":151506,"owner_login":"raichoo","updated_at":"2015-12-29T13:35:39.214Z","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":74,"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%253Araichoo%252Fstrangegroup-idris-June2014%2B%2Blanguage%253AIdris","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/raichoo/strangegroup-idris-June2014/star":{"post":"s8oCeEKshEnUN14hFhZQzjIUU21myAq6bAdhpYVRvHdNLfqS-YL0ooExftBGH-3Xd_YXbHzapHpIotomo4mWBw"},"/raichoo/strangegroup-idris-June2014/unstar":{"post":"nse63Cer7rg2uqu2TBMjFzogex6ktv4wZW1JCQkBfvkawH3zjnFq-zoflSEVZcRWPNVuoq4sjUzEEnw_d5Jxgg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"OfCWjSllRv35Gx27qaRwHY8O_GSoXP11gIxU2XsCV6weWXn9iAw3BfV4LtwVeQVWJZM5VbCZMVDky8J9eDaSWA"}}},"title":"Repository search results"}