{"push_id":574740100,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9ad859b101752853914a8beeedab4fbf3f8e8441","before":"f7475d59c98ea8297c4ff4c7ccc2b71f2f2b4f8d","commits":[{"sha":"9ad859b101752853914a8beeedab4fbf3f8e8441","author":{"email":"135961469e48bccbf9f9e3b231cd2ae9b9814654@yahoo.com","name":"anhtrung93"},"message":"normalize method is runnable, but I haven't used it yet","distinct":true,"url":"https://api.github.com/repos/anhtrung93/Z3-str-Regex/commits/9ad859b101752853914a8beeedab4fbf3f8e8441"}]}