{"push_id":1461750813,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"e8bfd2b1d1588ff0e934a66aeb6db0ba244fd571","before":"5dd46ad4dbdf2b7d93ad3a7e9df314e6861a97f0","commits":[{"sha":"982dd0ee510468e528daac6e21f8d3cc0749167e","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"LeanHoverProvider: remove unnecessary sync.","distinct":true,"url":"https://api.github.com/repos/jroesch/vscode-lean/commits/982dd0ee510468e528daac6e21f8d3cc0749167e"},{"sha":"b402670ec1cd0e844dd6c7a4d8d8e39c7a8693c7","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"Server: use singleton type for messages.","distinct":true,"url":"https://api.github.com/repos/jroesch/vscode-lean/commits/b402670ec1cd0e844dd6c7a4d8d8e39c7a8693c7"},{"sha":"08a28e152a66f2353ea2aa9f2cedc176665197d8","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"LeanDefinitionProvider.","distinct":true,"url":"https://api.github.com/repos/jroesch/vscode-lean/commits/08a28e152a66f2353ea2aa9f2cedc176665197d8"},{"sha":"0382df6b2a4f3e2f7001a5e3dc8b5e544644ea85","author":{"name":"Gabriel Ebner","email":"1b660fb788ccf92c8293f42098059e11385ec300@gebner.org"},"message":"tsconfig.json: set alwaysStrict option globally","distinct":true,"url":"https://api.github.com/repos/jroesch/vscode-lean/commits/0382df6b2a4f3e2f7001a5e3dc8b5e544644ea85"},{"sha":"e8bfd2b1d1588ff0e934a66aeb6db0ba244fd571","author":{"name":"Jared Roesch","email":"2a3819ae5e75b8f9e1dfaca9b40cbb140b3c5645@gmail.com"},"message":"Merge pull request #4 from gebner/definitions\n\nFind definition.","distinct":true,"url":"https://api.github.com/repos/jroesch/vscode-lean/commits/e8bfd2b1d1588ff0e934a66aeb6db0ba244fd571"}]}
{"actor":{"display_login":"jroesch"}}