{"push_id":2641280983,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"18e8d0b6e7a1c452f7471fd580b8843254b3b959","before":"1f15dab290681eedd437a25fc4f6d0bcbfc76d40","commits":[{"sha":"18e8d0b6e7a1c452f7471fd580b8843254b3b959","author":{"name":"Julian Thome","email":"f09e652ddde5ea913968ed3db302692bbbfc4145@uni.lu"},"message":"appveyor/travis","distinct":true,"url":"https://api.github.com/repos/julianthome/smtlibv2-grammar/commits/18e8d0b6e7a1c452f7471fd580b8843254b3b959"}]}
{"actor":{"display_login":"julianthome"}}