{"payload":{"header_redesign_enabled":false,"results":[{"id":"189169918","archived":true,"color":null,"followers":180,"has_funding_file":false,"hl_name":"leanprover-community/tutorials","hl_trunc_description":"Some Lean tutorials","language":"Lean","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":189169918,"name":"tutorials","owner_id":41703605,"owner_login":"leanprover-community","updated_at":"2023-10-10T21:19:53.443Z","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":80,"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%253Aleanprover-community%252Ftutorials%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/leanprover-community/tutorials/star":{"post":"vvJrb-FMbco3y4jrkVRKTYkzkLLVlDlLP7djhmi9YCubmQlKefYitae70Ud2TfzP8EB1hDmYWKts6kOCQacDyg"},"/leanprover-community/tutorials/unstar":{"post":"9Pe68vVO_fTitsDSAinItvxlYcygLFGAc9BhRoTGEGe8qbRAUsFmgKKUl0pHW-WrewFYDbENWmoHO0ZAEq7-FA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"2y85DmRqsjiu4O97pX5A3E02uCCjqMgtSmI-nQO-8N3vsjyOdMKGh7H0V8mqCBvpI6AuvYpxMgu3TX5Ng9TOlg"}}},"title":"Repository search results"}