{"push_id":602354551,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c3df5494e0357e82032fd73a1bbae00dfccd4d9a","before":"8eed78a2beaa5e014a43979dc4956e9121427595","commits":[{"sha":"c3df5494e0357e82032fd73a1bbae00dfccd4d9a","author":{"email":"ea7692f0ed5eff8231bf59dc3398bed13c9bc5f3@gmail.com","name":"Giselle Reis"},"message":"New veriT reserved keywords\n\nSee issue #301.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/c3df5494e0357e82032fd73a1bbae00dfccd4d9a"}]}