{"push_id":541458618,"size":1,"distinct_size":1,"ref":"refs/heads/topic/repair","head":"b87b2b6f3d4183047fae38abe2465a33f07e181e","before":"b916deaa31bc2502f443f75a6f539ed43db20316","commits":[{"sha":"b87b2b6f3d4183047fae38abe2465a33f07e181e","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Emmanouil (Manos) Koukoutos"},"message":"DetupleInput recomposes inputs, if possible","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/b87b2b6f3d4183047fae38abe2465a33f07e181e"}]}