{"push_id":2541452600,"size":1,"distinct_size":1,"ref":"refs/heads/minimization","head":"db00f6b9cd4c9c22b63f660bad10f26a51a0bca9","before":"3d8f087c1102e4f056b5f2bc2a84a51443b14a2e","commits":[{"sha":"db00f6b9cd4c9c22b63f660bad10f26a51a0bca9","author":{"name":"Pedro Cardouzo","email":"8ef8c6e004aeedc438e348b4fafe844d83952564@gmail.com"},"message":"Adapted remove_useless_symbols to work with sets (more efficiently as well) | A few 'todo' mentions were done | some polishing on remove_empty_productions was done","distinct":true,"url":"https://api.github.com/repos/PedroCardouzo/FormalLanguages/commits/db00f6b9cd4c9c22b63f660bad10f26a51a0bca9"}]}
{"actor":{"display_login":"PedroCardouzo"}}