{"payload":{"header_redesign_enabled":false,"results":[{"id":"815545367","archived":false,"color":"#563d7c","followers":1,"has_funding_file":false,"hl_name":"onriv/lean4ij","hl_trunc_description":"A Lean4 plugin for the Intellij Platform","language":"CSS","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":815545367,"name":"lean4ij","owner_id":1629055,"owner_login":"onriv","updated_at":"2024-09-23T05:02:07.860Z","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":81,"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%253Aonriv%252Flean4ij%2B%2Blanguage%253ACSS","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/onriv/lean4ij/star":{"post":"zDrj6GQEbUbB6ZnmFDss8Cpvo4phdpE73D5aXyL1-i4dw04hYUSBMgNyKDLfeKnirBlH91pEkbbZc1StCYZlOw"},"/onriv/lean4ij/unstar":{"post":"ptcxCZKqQse7YL8F3xov7dxqubaSDg2KaiIo8zmzjQqqzuCgJlsWXEWWYhX3qy4IQme5q1cVXWGJfkNaJzgh_Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"YyEkFm6tCe8U5J_AyZNFKsf3DbEL4Wh44Vc7ugm0bto-htno2-kK4uSrWhnOefVk5GTfRHinNthK_pv-f4E3-g"}}},"title":"Repository search results"}