{"push_id":1193844909,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"85aa4592cbe993410d9512c65e00505d7ac046e3","before":"58ec9bae8a4a5140564f978824c1e02c93f219c9","commits":[{"sha":"85aa4592cbe993410d9512c65e00505d7ac046e3","author":{"name":"Avinash Malik","email":"a89339f1cb8562726e477b4970d6d95fce877e16@auckland.ac.nz"},"message":"Need to complete writing the qsort sorted theorem.\n\nSigned-off-by: Avinash Malik <avinash.malik@auckland.ac.nz>","distinct":true,"url":"https://api.github.com/repos/amal029/agda-tutorial-dybjer/commits/85aa4592cbe993410d9512c65e00505d7ac046e3"}]}
{"actor":{"display_login":"amal029"}}