{"push_id":2120173731,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"da37742e5c9cf3eb7ccd2caec81b4984900cef6c","before":"01769c6d331144f3ce839b69a5c39ff39dea799a","commits":[{"sha":"da37742e5c9cf3eb7ccd2caec81b4984900cef6c","author":{"name":"mforets","email":"db1c42093ddccd5db9340b60702d54f31db108b3@univ-grenoble-alpes.fr"},"message":"add discretize to docs","distinct":true,"url":"https://api.github.com/repos/JuliaReach/Reachability.jl/commits/da37742e5c9cf3eb7ccd2caec81b4984900cef6c"}]}
{"actor":{"display_login":"mforets"}}