{"push_id":1009304437,"size":1,"distinct_size":1,"ref":"refs/heads/constant-start-digit","head":"dc95706e96b28175a8ef8982d2a4294405d5cef2","before":"19cf574581e679954b945fe0bb4348f3f7f22816","commits":[{"sha":"dc95706e96b28175a8ef8982d2a4294405d5cef2","author":{"email":"1a73af9e7ae00182733b2292511b814be66f065f@jubianchi.fr","name":"jubianchi"},"message":"Allow constants names to start with digits","distinct":true,"url":"https://api.github.com/repos/jubianchi/Math/commits/dc95706e96b28175a8ef8982d2a4294405d5cef2"}]}