{"push_id":874633165,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b74e4d0fb099911280e0db62e9544168823b841b","before":"d1fbc567d374f9839cb80c766e3cf9fa42c29302","commits":[{"sha":"b74e4d0fb099911280e0db62e9544168823b841b","author":{"email":"2bbbea3213bb78d9065839dec3b51ab858be8666@epfl.ch","name":"Valentin Rutz"},"message":"Getting rid of useless cases in internal.interpreter","distinct":true,"url":"https://api.github.com/repos/ValentinRutz/interpreter/commits/b74e4d0fb099911280e0db62e9544168823b841b"}]}