{"push_id":2697567952,"size":2,"distinct_size":2,"ref":"refs/heads/plof","head":"69e6dd83fa43a396affb22110cb467cf8d579780","before":"a68146f8ba525da7555a99b0339ac68538d57e68","commits":[{"sha":"49257a834385f085aa2236f9ccf2e23a6233ad8a","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[lsp] Support for `documentSymbol` request","distinct":true,"url":"https://api.github.com/repos/ejgallego/lambdapi/commits/49257a834385f085aa2236f9ccf2e23a6233ad8a"},{"sha":"69e6dd83fa43a396affb22110cb467cf8d579780","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[goals] Better information for display of goals in focus.","distinct":true,"url":"https://api.github.com/repos/ejgallego/lambdapi/commits/69e6dd83fa43a396affb22110cb467cf8d579780"}]}
{"actor":{"display_login":"ejgallego"}}