{"push_id":1279555954,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"11bbda8c4eced2a3aaa7c9c7db04d424aecb6146","before":"5010c3604d3eaaea7946a6537b9f0a8f12bade7a","commits":[{"sha":"11bbda8c4eced2a3aaa7c9c7db04d424aecb6146","author":{"name":"nikivazou","email":"dae9a38263fac2b01c72efae58e9b9152b6c82f6@gmail.com"},"message":"adding Birds Boyer Moore equalities","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/11bbda8c4eced2a3aaa7c9c7db04d424aecb6146"}]}
{"actor":{"display_login":"nikivazou"}}