{"push_id":2556056914,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b0e254491492fa970b06ec54a325e46c60fad648","before":"383bbf3fd6f450f6c5d65a6a767cd545b03342e0","commits":[{"sha":"b0e254491492fa970b06ec54a325e46c60fad648","author":{"name":"gereon","email":"f1c3082c9def1c7cee43850c0310caee858f0e10@rwth-aachen.de"},"message":"Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/smtrat into pb_constraint_test","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/b0e254491492fa970b06ec54a325e46c60fad648"}]}
{"actor":{"display_login":"i2git"}}