{"push_id":694959892,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f9ef28d9b9f18c4a8970891b08d6d7f431591b9e","before":"d8aa2ebb3d1575f64875b4ddef7ca84c97d2f733","commits":[{"sha":"f9ef28d9b9f18c4a8970891b08d6d7f431591b9e","author":{"email":"c35f849893562ab96117583e285241e010c47ad8@gatech.edu","name":"Matthew Flaschen"},"message":"Minor l10n fixes; mostly duplicate keys","distinct":true,"url":"https://api.github.com/repos/proveit-js/proveit/commits/f9ef28d9b9f18c4a8970891b08d6d7f431591b9e"}]}