{"payload":{"header_redesign_enabled":false,"results":[{"id":"70186243","archived":true,"color":"#3572A5","followers":18,"has_funding_file":false,"hl_name":"sosy-lab/sv-witnesses","hl_trunc_description":"An Exchange Format for Verification Witnesses (MOVED, please follow the link)","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":70186243,"name":"sv-witnesses","owner_id":16129993,"owner_login":"sosy-lab","updated_at":"2022-09-24T07:37:17.092Z","has_issues":true}},"sponsorable":false,"topics":["verification","software-verification","witness","witness-validation"],"type":"Public archive","help_wanted_issues_count":2,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":65,"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%253Asosy-lab%252Fsv-witnesses%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/sosy-lab/sv-witnesses/star":{"post":"zdpEt2vthKO6wRVg3YPD5o_MzK641ysgpJcNBHRndPn9wZ5J9L-WUbRjDCaauI3hyrxWdhJ4M8s0Saf6pahU3g"},"/sosy-lab/sv-witnesses/unstar":{"post":"OLx1X1g1MkWomI3ytO9bO1RPcd8z3qVNPDmUllY3eafDomag7BVbhI8XhUnLRRnDWX0954CWCn8eUEqFSsjejQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"8SO9ZzXT2VRFtTYHTlesxSPRcOsh_xjb7M6fffUuWRlcKZZ16HmFLMR7Y2n9xFdtFUu04VBTYUVOGlB8s4pvbQ"}}},"title":"Repository search results"}