{"push_id":1477730394,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e33bd2e66581287518f3ed32c7b011a59926b171","before":"c0f7d01cc4440f5f5acda1e5109d2499b539df1d","commits":[{"sha":"e33bd2e66581287518f3ed32c7b011a59926b171","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/unfold_macros): checking whether commit 7f86ad64eb9d5 broke the remote build","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/e33bd2e66581287518f3ed32c7b011a59926b171"}]}
{"actor":{"display_login":"leodemoura"}}