{"payload":{"header_redesign_enabled":false,"results":[{"id":"485444799","archived":true,"color":"#dc566d","followers":0,"has_funding_file":false,"hl_name":"kappelmann/logger-isabelle","hl_trunc_description":"A logger for Isabelle/ML","language":"Standard ML","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":485444799,"name":"logger-isabelle","owner_id":7101032,"owner_login":"kappelmann","updated_at":"2023-10-19T15:30:20.940Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public archive","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":138,"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%253Akappelmann%252Flogger-isabelle%2B%2Blanguage%253A%2522Standard%2BML%2522","metadata":null,"csrf_tokens":{"/kappelmann/logger-isabelle/star":{"post":"rjt4tFSzgCS4ti_Mj-jf4_-_pnfMZkt2XA3JnmL9ElRNX9BUl5e41zxETBit6y9FRAgxttwMlYOA0a8YgqW_FA"},"/kappelmann/logger-isabelle/unstar":{"post":"KobTI8sPmM60AFamDboJINrgzg5eIWmm8j-9JIB3Oa-VkeV11sQhDoQ2oyg4S9LVcoN1cAD_4MdKOuztCmzz3w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"4vDXh2UzDhrDqCat6ikWjkNRmB4JQWxwGJI9RfaUD4wMfLPN1_bQeqigkBarfE3FpwuiRxUUfhOfdOgwwhS6Zw"}}},"title":"Repository search results"}