{"push_id":572992834,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c8e31a7f793ec118f9fd010b845c79d40177384c","before":"f6a893ff85eb979fb3e000e4e105ff20890b0995","commits":[{"sha":"c8e31a7f793ec118f9fd010b845c79d40177384c","author":{"email":"c8f31d4bf548419b987307b1c21e25f7865952bb@wikimedia.org","name":"cmjohnson"},"message":"Removing mgmt dns for broken dbproxy1008. replacing and renaming  it with cp1038\n\nChange-Id: I7d1ef1bb419ec27eb4c4cd1b0538784e5c74f851","distinct":true,"url":"https://api.github.com/repos/wikimedia/operations-dns/commits/c8e31a7f793ec118f9fd010b845c79d40177384c"}]}