{"push_id":814110560,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"586669cb484d5103052ba7f57420f97fda4df763","before":"e9745e3f9e47792b51fd6ae37bc9130f0dc494a2","commits":[{"sha":"586669cb484d5103052ba7f57420f97fda4df763","author":{"email":"4984cf152bba84ebd962fe729757b886fce50134@web.de","name":"hansen"},"message":"added a new cli parser","distinct":true,"url":"https://api.github.com/repos/hhu-stups/tla2bAST/commits/586669cb484d5103052ba7f57420f97fda4df763"}]}