{"payload":{"header_redesign_enabled":false,"results":[{"id":"27507850","archived":false,"color":"#b07219","followers":1026,"has_funding_file":false,"hl_name":"batfish/batfish","hl_trunc_description":"Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…","language":"Java","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":27507850,"name":"batfish","owner_id":24584846,"owner_login":"batfish","updated_at":"2024-04-28T15:36:47.740Z","has_issues":true}},"sponsorable":false,"topics":["network","configuration","network-analysis","network-automation","network-security","configuration-parser","network-verification","configuration-analysis","network-validation"],"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":88,"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%253Abatfish%252Fbatfish%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/batfish/batfish/star":{"post":"ZysX929MZ8bBYZ68GLGS9PNp4cNzu0j6IM6vAbulFWtXS2rgFTAN9QdvniOSssgQMFu56Q0uBuqOQ68aLkZLPQ"},"/batfish/batfish/unstar":{"post":"wLmR_Iis6h1YukRIZdBmg54NJLX0bZkOkLw5YxOrqjj0hIWE2whRyxNwW2ytDz1SotoClbhxcfEVv8YGxVH3Tw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"v8GwkYHM2YilUze4uphoduCBud9WoEgo7EcdGXJzRISBki5u69oFYxUTtMsQYaOD49Jmuz6EJ7Yorxn4R_LzLw"}}},"title":"Repository search results"}