{"push_id":2437279497,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3fefe947574d0133fcbf96eda17330e929b76f59","before":"efa9d7e110ff6389e8863551a4882c84dbcf8236","commits":[{"sha":"3fefe947574d0133fcbf96eda17330e929b76f59","author":{"name":"Sebastian Ullrich","email":"d75285033fdb72f7a8821d7ebf570fcc253ba65f@nullri.ch"},"message":"refactor(library/init/core,library/init/unit): make `unit` an abbreviation of `punit.{0}`","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/3fefe947574d0133fcbf96eda17330e929b76f59"}]}
{"actor":{"display_login":"leodemoura"}}