{"payload":{"header_redesign_enabled":false,"results":[{"id":"688945200","archived":false,"color":"#083fa1","followers":10,"has_funding_file":false,"hl_name":"rzk-lang/hottbook","hl_trunc_description":"HoTT Book formalisations in Rzk.","language":"Markdown","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":688945200,"name":"hottbook","owner_id":139073969,"owner_login":"rzk-lang","updated_at":"2023-12-15T22:01:10.847Z","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":52,"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%253Arzk-lang%252Fhottbook%2B%2Blanguage%253AMarkdown","metadata":null,"csrf_tokens":{"/rzk-lang/hottbook/star":{"post":"9Ey7AksiSUz7TFj5JiU23hYkDnJjYdHdMXLcZFVyr72VmpaZMteOWW2MqLirtBRKXQNUM0dvJDmqc8lNVe5atw"},"/rzk-lang/hottbook/unstar":{"post":"jeCb6KhljNUl9hLihYZjHEZOHNBZb2tY9nSE-b3lZE6WK5KJ8jsXh-WsIu4jaIR6oQzG3QUuxSw3E0Vv68fQpg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"qf9BMnetALUwUpkzTUZe6dlyaPdIcQRgUlOwKdE7dT7d4Nw4zhrjfAzmFZs-aa6AkK9qU2qSC-z8eEo5-JDCgA"}}},"title":"Repository search results"}