{"payload":{"header_redesign_enabled":false,"results":[{"id":"787975010","archived":false,"color":"#FEFE00","followers":1,"has_funding_file":false,"hl_name":"active-group/tutorialtag-2024-isabelle","hl_trunc_description":"Tutorialtag 2024: Isabelle/HOL","language":"Isabelle","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":787975010,"name":"tutorialtag-2024-isabelle","owner_id":4663639,"owner_login":"active-group","updated_at":"2024-04-18T08:18:42.744Z","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":68,"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%253Aactive-group%252Ftutorialtag-2024-isabelle%2B%2Blanguage%253AIsabelle","metadata":null,"csrf_tokens":{"/active-group/tutorialtag-2024-isabelle/star":{"post":"vznASvUxU--OrkDqad_ZUjO-NG52nn7BUT2ma7YijIEZbuJ3kdZrQJkXiU4QUjTXucWAxW-b1dE7HSPQbh-dQQ"},"/active-group/tutorialtag-2024-isabelle/unstar":{"post":"MOaplCxdmoFccKR6JRifeHeXZG6KrNT2x-ROZSRvZ1eWqTcG9lpSxhlOipo-qnVJOswXQxMqjnZjs3aeBU9MAA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"o4-adatUGELPUNyEbd8kq67qTQdbw6g2PHfJ0ivbrXi41uOGR2PRRGhgzLkiWpbLzbRoL8Mv56bBNlJQg_N9ZA"}}},"title":"Repository search results"}