{"push_id":1678193825,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f410ac57ebc92ff547ae2b0f8ced680763da53a5","before":"3518cdb8afb2227011dc785f8bbe8f22440fd430","commits":[{"sha":"f410ac57ebc92ff547ae2b0f8ced680763da53a5","author":{"name":"rzrbny","email":"3c5a3ec42d619149fe0f09d8d778462972c155ea@gmail.com"},"message":"First structured TOE code of Liveness Constructor","distinct":true,"url":"https://api.github.com/repos/alps-chalmers/agda101/commits/f410ac57ebc92ff547ae2b0f8ced680763da53a5"}]}
{"actor":{"display_login":"rzrbny"}}