{"push_id":2958038441,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"76b13d8c360fea31b40b56bfaf6e2915100c591f","before":"2c515ff140b5d502f9dbf5fee45ce762ba5b5901","commits":[{"sha":"e2e97c67e58bf578a1119f293f7107d74fdefbd9","author":{"name":"Sergey Patrikeev","email":"2d864c809205756cc33dafb0448c903f1ebff9c4@jetbrains.com"},"message":"Update LTL grammar: add 'true' and 'false' constants.","distinct":true,"url":"https://api.github.com/repos/serejke/verifier/commits/e2e97c67e58bf578a1119f293f7107d74fdefbd9"},{"sha":"76b13d8c360fea31b40b56bfaf6e2915100c591f","author":{"name":"Sergey Patrikeev","email":"2d864c809205756cc33dafb0448c903f1ebff9c4@jetbrains.com"},"message":"Add toNegatedNormalForm() implementation.","distinct":true,"url":"https://api.github.com/repos/serejke/verifier/commits/76b13d8c360fea31b40b56bfaf6e2915100c591f"}]}
{"actor":{"display_login":"serejke"}}