{"push_id":671621741,"size":1,"distinct_size":1,"ref":"refs/heads/rpmify","head":"d21543cc677428cbf5d0b9f9cd8b00949224da89","before":"80ae0f5843e30e62721f335467b2104fe6427fe3","commits":[{"sha":"d21543cc677428cbf5d0b9f9cd8b00949224da89","author":{"email":"de41344efbb96e120e192784575849829b0a0a28@galois.com","name":"Tim Humphries"},"message":"Explain need for alex / happy deps","distinct":true,"url":"https://api.github.com/repos/GaloisInc/HaLVM/commits/d21543cc677428cbf5d0b9f9cd8b00949224da89"}]}