{"push_id":2724024795,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"95a3c47e1251230b5cfde25d4cac3c2f903dbc1f","before":"bdc90f6cef3040751df213455c02a0b520b56c50","commits":[{"sha":"95a3c47e1251230b5cfde25d4cac3c2f903dbc1f","author":{"name":"Mario Carneiro","email":"4ceb47396607f15e5f53037394b25c6745e1fd1d@gmail.com"},"message":"fix(.): fix build","distinct":true,"url":"https://api.github.com/repos/leanprover/mathlib/commits/95a3c47e1251230b5cfde25d4cac3c2f903dbc1f"}]}
{"actor":{"display_login":"digama0"}}