{"push_id":707376162,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"112dba026619580c18bbd62c1fadb21d7121ddca","before":"e68a16851eb054228f0ff9b9ca8c963d2f3bebc9","commits":[{"sha":"112dba026619580c18bbd62c1fadb21d7121ddca","author":{"email":"48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","name":"David L. Rager"},"message":"Fixing Jenkins Makefile to accomodate new method for passing in build variables to jenkins","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/112dba026619580c18bbd62c1fadb21d7121ddca"}]}