{"payload":{"header_redesign_enabled":false,"results":[{"id":"262907452","archived":false,"color":"#00ADD8","followers":2,"has_funding_file":false,"hl_name":"vale1410/positional-games-qbf-encoding","hl_trunc_description":"Encodings for positional games in QBF","language":"Go","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":262907452,"name":"positional-games-qbf-encoding","owner_id":569652,"owner_login":"vale1410","updated_at":"2023-04-02T22:43:49.209Z","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":86,"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%253Avale1410%252Fpositional-games-qbf-encoding%2B%2Blanguage%253AGo","metadata":null,"csrf_tokens":{"/vale1410/positional-games-qbf-encoding/star":{"post":"kAnKXQ70SchzE55Z9vnAtP4aZskpuLjeNBhXQtBxAJ8wxlPQ2Qd3RYSW5q_tnXbaP79qFDhmGcGH9Otal8PsRA"},"/vale1410/positional-games-qbf-encoding/unstar":{"post":"ZJ3_IvAyCxYicnC8Ko2eaRZ3BpbJcYpUUGUES_DE8K0RcAI6cWeF7FxWec6voz98Renn39-oPPEJu2N--5Ollg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ZOL-tBQ2Vp9_RzlcL0MGH3WL9BRXPYfjkGFhTy2Qx2u3AUF21D9NwgEYh0v2GznqOZzyvld7i1BGOQTMBhThlA"}}},"title":"Repository search results"}