{"push_id":668329035,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"499cccd68f4a57585500b2e17c601b7fd61e2c4f","before":"9ad99c20c0b234ecc1db29196ce166346ca00e1b","commits":[{"sha":"499cccd68f4a57585500b2e17c601b7fd61e2c4f","author":{"email":"ce98047f2704fd35dcfde4335fc3bb65a0182e44@epfl.ch","name":"Nada Amin"},"message":"The way sdcs_cons is defined, we have another termination issue in trans.\n\ncc @TiarkRompf","distinct":true,"url":"https://api.github.com/repos/TiarkRompf/minidot/commits/499cccd68f4a57585500b2e17c601b7fd61e2c4f"}]}