{"push_id":1210876715,"size":7,"distinct_size":7,"ref":"refs/heads/develop","head":"eee9e4c18838c3c26819b6ff3e70b39cc94ecfa4","before":"7f2d63bfd611061bc556bca86f60a70eb193d752","commits":[{"sha":"ec36bc9b626777c6e6fc0ce84d1c43b67e94733e","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"Merge pull request #412 from mebsout/develop\n\nChangelog + fix examples","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/ec36bc9b626777c6e6fc0ce84d1c43b67e94733e"},{"sha":"01ca0239ca153d01931cc1ae5b325d39f4e24a79","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"correct version number","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/01ca0239ca153d01931cc1ae5b325d39f4e24a79"},{"sha":"031a5a1cac742eb2ad69a687aa7e390431f11c9b","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"Fix makefile for correct doc export","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/031a5a1cac742eb2ad69a687aa7e390431f11c9b"},{"sha":"0447d007604cd08ecd734901f4073218b73509de","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"bump version number","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/0447d007604cd08ecd734901f4073218b73509de"},{"sha":"975e2be2f4f4495e170aa2d2470f1aaebe9c448d","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"remove debug print","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/975e2be2f4f4495e170aa2d2470f1aaebe9c448d"},{"sha":"c2fc09d6e6634f37a2ea6815bc45b9eec0f8764e","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"mention arrays are experimental in doc","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/c2fc09d6e6634f37a2ea6815bc45b9eec0f8764e"},{"sha":"eee9e4c18838c3c26819b6ff3e70b39cc94ecfa4","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"Fix bug when reading stdin (assume input is in Lustre)","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/eee9e4c18838c3c26819b6ff3e70b39cc94ecfa4"}]}
{"actor":{"display_login":"mebsout"}}