{"push_id":1282886975,"size":3,"distinct_size":3,"ref":"refs/heads/epr","head":"14e35e2b09a00fa6d0ea8ab6e4d30915199d8ae6","before":"4905bf366d33dfeaea4c183765f1a95ec352beb3","commits":[{"sha":"1dabddbbbfce8ab1fdf7aa120f63d5bf233436fb","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"project: removed builders that caused errors","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/1dabddbbbfce8ab1fdf7aa120f63d5bf233436fb"},{"sha":"286b3e14e21e7b8419fa420f01de1867fb73619a","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"made the comparator for column names a singleton","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/286b3e14e21e7b8419fa420f01de1867fb73619a"},{"sha":"14e35e2b09a00fa6d0ea8ab6e4d30915199d8ae6","author":{"name":"Alexander Nutz","email":"e1c0cfdeef01bc5dc0f9dcb7c39929e3dfdf2213@informatik.uni-freiburg.de"},"message":"extended tests, bugfix for renameSelectAndProject","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/smtinterpol/commits/14e35e2b09a00fa6d0ea8ab6e4d30915199d8ae6"}]}
{"actor":{"display_login":"alexandernutz"}}