{"push_id":2797651784,"size":1,"distinct_size":1,"ref":"refs/heads/parserSmt2SygusGrammar","head":"c33a6e7cf2f09a7c500c02187b15104b36dd2425","before":"7516822ce17b9c5c06a39db38ea8ce94e07d03b6","commits":[{"sha":"c33a6e7cf2f09a7c500c02187b15104b36dd2425","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Document","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/c33a6e7cf2f09a7c500c02187b15104b36dd2425"}]}
{"actor":{"display_login":"ajreynol"}}