{"payload":{"header_redesign_enabled":false,"results":[{"id":"671808815","archived":false,"color":"#de0000","followers":0,"has_funding_file":false,"hl_name":"GianmarcoDonnesi/RoboBVN-Pepper","hl_trunc_description":"Repository containing code developed for my internship on the humanoid robot Pepper.","language":"Promela","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":671808815,"name":"RoboBVN-Pepper","owner_id":91615472,"owner_login":"GianmarcoDonnesi","updated_at":"2023-09-09T16:37:45.581Z","has_issues":true}},"sponsorable":false,"topics":["robot","robotics","pepper","pepper-programming","pepper-robot-programming","pepper-robot","pepper-coding"],"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":47,"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%253AGianmarcoDonnesi%252FRoboBVN-Pepper%2B%2Blanguage%253APromela","metadata":null,"csrf_tokens":{"/GianmarcoDonnesi/RoboBVN-Pepper/star":{"post":"WL1UFBSeDVQKPVlIpYLAwOcqw6ZBU2ZWpRdErLT3bqfUKGqg9JbpX1dyAQhOsTUpZR6jp1vaoNyfOl8uVsOImQ"},"/GianmarcoDonnesi/RoboBVN-Pepper/unstar":{"post":"02weNGm3O0AsF1EfAzz4Wfa_akzZxJYBU8JlDAAnqxLKi_ZHGFWqHKlIkUq9GxGQniV176XK2MmzAzwymPl_LQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"8u14XwAJgNbXaR99mTd55G7EksR29Z5EZTL2N144Mvr8Jwn4KU53YPzlNyjPEeatzZPnTuSmBG2p-_gQR9UWWg"}}},"title":"Repository search results"}