{"payload":{"header_redesign_enabled":false,"results":[{"id":"263377740","archived":false,"color":"#89e051","followers":7,"has_funding_file":false,"hl_name":"ayberkt/agda-github-action","hl_trunc_description":"A GitHub action for typechecking Agda code.","language":"Shell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":263377740,"name":"agda-github-action","owner_id":3195012,"owner_login":"ayberkt","updated_at":"2023-10-09T15:00:29.311Z","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":56,"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%253Aayberkt%252Fagda-github-action%2B%2Blanguage%253AShell","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/ayberkt/agda-github-action/star":{"post":"gaBu3hXzuW3Xk5rN6tOT6WnbZX-E0IifW9Dp1eD-kFbEwd1K7pr5T0i29RSGZyr5Btgoj8mW5bqzYqpDVR3ehA"},"/ayberkt/agda-github-action/unstar":{"post":"3emX8XdFROHx6a10ctzgO3paJMyFa779zl73l6P5eCkfHBcKVLUrKTp-92Br4OThXM5fME_bTtjWo-Ov59XaHg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"8EP6UfJdeaX-RTiLe23JbBMjUHPFmZaU15r6BN4RFqVK5hGfE3aU25sxLfm3XLo8oZvAdA-WcgQcFbMuTFQl8A"}}},"title":"Repository search results"}