{"push_id":978491945,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ddbb8a0190e7964e261c4973bbae45bab32c01a0","before":"982c7505d6f195b6420c9d59bd6284c05553dd3b","commits":[{"sha":"ddbb8a0190e7964e261c4973bbae45bab32c01a0","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix readIP4/readIP4Mask","distinct":true,"url":"https://api.github.com/repos/GaloisInc/HaNS/commits/ddbb8a0190e7964e261c4973bbae45bab32c01a0"}]}