{"push_id":1072365014,"size":1,"distinct_size":1,"ref":"refs/heads/jal-master","head":"c1dacee86416e89781b5f3bdfacbf5cf4745bf61","before":"7f3cac016374b8cbca36cf794086db1a98894abb","commits":[{"sha":"c1dacee86416e89781b5f3bdfacbf5cf4745bf61","author":{"email":"bfe62f575642fa3d624b76f70ced3e14bf46695f@ens.fr","name":"GAJaloyan"},"message":"newtypes","distinct":true,"url":"https://api.github.com/repos/GaloisInc/tower/commits/c1dacee86416e89781b5f3bdfacbf5cf4745bf61"}]}