{"push_id":1315441282,"size":1,"distinct_size":1,"ref":"refs/heads/lean3","head":"e304d778a1960153ebc5de7a704e6d809398272b","before":"49cffc0b20986807329f92283d0b3ee68957bc73","commits":[{"sha":"e304d778a1960153ebc5de7a704e6d809398272b","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/init): cleanup","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/e304d778a1960153ebc5de7a704e6d809398272b"}]}
{"actor":{"display_login":"leodemoura"}}