{"push_id":1065419930,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d87431b64a27c073e31652166a24f0c87b22c041","before":"199cf857baa106545196503cc4029e2b7771d1af","commits":[{"sha":"d87431b64a27c073e31652166a24f0c87b22c041","author":{"email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com","name":"ajreynol"},"message":"Update native language support for strings.","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/d87431b64a27c073e31652166a24f0c87b22c041"}]}