{"payload":{"header_redesign_enabled":false,"results":[{"id":"20853586","archived":false,"color":"#e34c26","followers":5,"has_funding_file":false,"hl_name":"RobArthan/pp-contrib","hl_trunc_description":"pp-contrib is a collection of contributed examples and tools for ProofPower users.","language":"HTML","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":20853586,"name":"pp-contrib","owner_id":6491607,"owner_login":"RobArthan","updated_at":"2023-01-19T15:41:46.639Z","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":83,"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%253ARobArthan%252Fpp-contrib%2B%2Blanguage%253AHTML","metadata":null,"csrf_tokens":{"/RobArthan/pp-contrib/star":{"post":"UOqzX0vx2dcg9krq5_TcLmNlJF2ppLylx64AFdG7pmaLZcu-nU-5Cj2aYjhqkk5W4-cXiERVMOd0Z4oMBfBMRA"},"/RobArthan/pp-contrib/unstar":{"post":"ErEe2KDJuW3OSH_aOOZxFNfVAKdh8QlO52PeQDivboQn3yQGEnJccq5IA3xW8jOBQui6GaPk-fEOmSdE9Ybnjw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Eez8X6aMVEUvB0PoezxVC5QBvUpI-3TcqkXjCQNjozStefTtmf8svyygnm8LVpsn3kpXBf1AzCwH4c82CUCgfQ"}}},"title":"Repository search results"}