{"push_id":2725396544,"size":1,"distinct_size":1,"ref":"refs/heads/litmus-update-merge","head":"0181b49a27828f74fcb673fed97cc9b1004513aa","before":"c9d5797901d19287a1b3ec048531085f8f0b6dd5","commits":[{"sha":"0181b49a27828f74fcb673fed97cc9b1004513aa","author":{"name":"Natalia Gavrilenko","email":"3dda36a812f9570b919401b002c059f0073d9724@aalto.fi"},"message":"Relation name \"poloc\" replaced with \"po-loc\" for compatibility with Herd stdlib","distinct":true,"url":"https://api.github.com/repos/hernanponcedeleon/Dat3M/commits/0181b49a27828f74fcb673fed97cc9b1004513aa"}]}
{"actor":{"display_login":"natgavrilenko"}}