{"push_id":1337399163,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d77aa6b5697fd0799c4daf882b0472ef95cf48b3","before":"51c8e69ca2f6a37aed5e43e1ffc310b8d5a0d592","commits":[{"sha":"d77aa6b5697fd0799c4daf882b0472ef95cf48b3","author":{"name":"amirsh","email":"ddae5f87a55ce88224a56267901f4592db31e1e8@epfl.ch"},"message":"Generated DPS C files and scripts for running them","distinct":true,"url":"https://api.github.com/repos/awf/Coconut/commits/d77aa6b5697fd0799c4daf882b0472ef95cf48b3"}]}
{"actor":{"display_login":"amirsh"}}