{"push_id":3016865613,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bbb8c55e1d4f20b2035a611e605cd60313d77fe4","before":"2a40be552bbae4f925b5cef3605a38ac6bb3300c","commits":[{"sha":"bbb8c55e1d4f20b2035a611e605cd60313d77fe4","author":{"name":"Cristiano Piemontese","email":"ec4ec16373a65c725fc49af9706ae6bb5a4ed669@gmail.com"},"message":"fixed some bugs in new itp proc\n\n- tactics now instantiate terms under the correct context\n- new goals now don't lose variabiles","distinct":true,"url":"https://api.github.com/repos/BombayAGoGo/tlc-elpi/commits/bbb8c55e1d4f20b2035a611e605cd60313d77fe4"}]}
{"actor":{"display_login":"BombayAGoGo"}}