{"push_id":1664905860,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"01143ba8aedf70f9585df6f4fe11837e3b35b5f8","before":"55d82773f83696fa626d8bf623a9d086582acad6","commits":[{"sha":"01143ba8aedf70f9585df6f4fe11837e3b35b5f8","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"Update screenshot for Search Symbol","distinct":true,"url":"https://api.github.com/repos/zjhmale/vscode-idris/commits/01143ba8aedf70f9585df6f4fe11837e3b35b5f8"}]}
{"actor":{"display_login":"zjhmale"}}