{"push_id":574898243,"size":1,"distinct_size":1,"ref":"refs/heads/restore_div_rem","head":"3097807d610a8ba4f9d9a3ce3dfbb90c606bde1f","before":"cb4c82ddf8892ebe4c2df557c66eed3f30d604f3","commits":[{"sha":"3097807d610a8ba4f9d9a3ce3dfbb90c606bde1f","author":{"email":"5a7997baeb049019bc018c70dd79ed5df07d8b0b@gmail.com","name":"Sean Patrick Santos"},"message":"String format tweak.","distinct":true,"url":"https://api.github.com/repos/quantheory/rfcs/commits/3097807d610a8ba4f9d9a3ce3dfbb90c606bde1f"}]}