{"push_id":1083400242,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0e9000ce31521d7a2f1d9cab5359c46af73ac530","before":"c4ed895f435f57a547c84498f6c7d88c3814bb8f","commits":[{"sha":"0e9000ce31521d7a2f1d9cab5359c46af73ac530","author":{"email":"3260172cf68a6e6438ef182097ef4bd76169c572@hri.res.in","name":"N. Raghavendra"},"message":"Added agda-input recipe","distinct":true,"url":"https://api.github.com/repos/dimitri/el-get/commits/0e9000ce31521d7a2f1d9cab5359c46af73ac530"}]}