{"push_id":1269441647,"size":7,"distinct_size":7,"ref":"refs/heads/refactoring","head":"0fa1bb9a7dec6264153cf52d477b161117b61e16","before":"46f9dc9edc3318ef47c47a15d585a929ddae7f0b","commits":[{"sha":"d63503f32927dc44857cfc1ad4e0f4d40d981309","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Added flag due to update of ghc","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/d63503f32927dc44857cfc1ad4e0f4d40d981309"},{"sha":"5e102e7e873e8a35d3841b9f30a122eb475833f6","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Giving better names to DPO operations","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/5e102e7e873e8a35d3841b9f30a122eb475833f6"},{"sha":"f8228195344ad441d0ddc810f70dca31b0ddb6a7","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Giving better names to DPO operations","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/f8228195344ad441d0ddc810f70dca31b0ddb6a7"},{"sha":"8c82c8718d6c44dd1ea25361149571dd27987101","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Giving better names to DPO operations","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/8c82c8718d6c44dd1ea25361149571dd27987101"},{"sha":"1566b55b1c33509dced1cf2e374dbc799dfdca44","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Giving better names to DPO operations","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/1566b55b1c33509dced1cf2e374dbc799dfdca44"},{"sha":"d7a99ce5de541678884425bd94da24be99918c77","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Giving better names to DPO operations","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/d7a99ce5de541678884425bd94da24be99918c77"},{"sha":"0fa1bb9a7dec6264153cf52d477b161117b61e16","author":{"name":"Jonas S. Bezerra","email":"62b89cb198d2ba47450fa81192de94451e68cf88@inf.ufrgs.br"},"message":"Changing DPO API for LHS/RHS/NACs of Productions","distinct":true,"url":"https://api.github.com/repos/Verites/verigraph/commits/0fa1bb9a7dec6264153cf52d477b161117b61e16"}]}
{"actor":{"display_login":"jsbezerra"}}