{"push_id":1085534953,"size":1,"distinct_size":1,"ref":"refs/heads/decorations_rebased","head":"d073a377d1e2a92300d0ce4e24e274cdf9e2d46c","before":"c7c505164b9fe15734bc1e7987e9cd62d47a3503","commits":[{"sha":"d073a377d1e2a92300d0ce4e24e274cdf9e2d46c","author":{"email":"10c73222d4977cc8e61e1d0cc7497b4b9eba2ec3@gmail.com","name":"David Sanders"},"message":"Re-add src/misc.jl","distinct":true,"url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/commits/d073a377d1e2a92300d0ce4e24e274cdf9e2d46c"}]}