{"push_id":1196479283,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"40cad7ae411f3f97f1bf9dbfc798969d8639241d","before":"4b2addd9cda590c5adfc3e7354081f6b2557c478","commits":[{"sha":"40cad7ae411f3f97f1bf9dbfc798969d8639241d","author":{"name":"Jack Engqvist Johansson","email":"7bb7087018cc5fef3c041f6f038f586664845dbf@xtal.blue"},"message":"Replaced Inc with Succ to be compatible with TP 3","distinct":true,"url":"https://api.github.com/repos/jacketizer/ved/commits/40cad7ae411f3f97f1bf9dbfc798969d8639241d"}]}
{"actor":{"display_login":"jacketizer"}}