{"push_id":2468617219,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"165f95e8dd4641636b9a58ce28d4338fafa54597","before":"6873bd63206b108ba5cd4fede429735dee666081","commits":[{"sha":"206b3ca556419453cd0eb5b6edebbf2a79f73a1f","author":{"name":"Martin Lundfall","email":"48d2a68df1e057e1124c3362fdb4853354e84afd@protonmail.com"},"message":"before trimming","distinct":true,"url":"https://api.github.com/repos/MrChico/LinearDependentTypes/commits/206b3ca556419453cd0eb5b6edebbf2a79f73a1f"},{"sha":"165f95e8dd4641636b9a58ce28d4338fafa54597","author":{"name":"Martin Lundfall","email":"48d2a68df1e057e1124c3362fdb4853354e84afd@protonmail.com"},"message":"abstract","distinct":true,"url":"https://api.github.com/repos/MrChico/LinearDependentTypes/commits/165f95e8dd4641636b9a58ce28d4338fafa54597"}]}
{"actor":{"display_login":"MrChico"}}