{"payload":{"header_redesign_enabled":false,"results":[{"id":"456470494","archived":false,"color":"#de0000","followers":0,"has_funding_file":false,"hl_name":"ligurio/specs","hl_trunc_description":"Formal specifications","language":"Promela","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":456470494,"name":"specs","owner_id":1151557,"owner_login":"ligurio","updated_at":"2024-01-09T11:18:42.975Z","has_issues":false}},"sponsorable":false,"topics":["promela","alloy","spin","tla-plus"],"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":43,"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%253Aligurio%252Fspecs%2B%2Blanguage%253APromela","metadata":null,"csrf_tokens":{"/ligurio/specs/star":{"post":"oKC2Qqu0Vv2Sv5LnuQ8YAP4DQDgb8SFAP83sJxRP2eC49YXHOfkNkISfDLzwli1qccERjzeGgTj59227kRoLzw"},"/ligurio/specs/unstar":{"post":"VFY1MIWi-KSu5pZEZOg30jQLOEvq7Rto7U5LJ7cjt9usiCni01xapDcrJ3WnFtT1dcRwOguXy6qqptOZlx0QNw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"R5YKo7FUPgNyVHXyGTeOaLNzcudSRnJwJBXc49h2awNykWKpt2BSIAdFm1w5lAITwlK2tKIk_4emI1rOEBgGEw"}}},"title":"Repository search results"}