{"push_id":747321795,"size":2,"distinct_size":2,"ref":"refs/heads/topic/isa-2015","head":"ab9e2f222a49dafb0331af6915d774605298e00e","before":"c01ab19cd5e3ea23981e3ad72600aa21f82d9070","commits":[{"sha":"9913c47bb67a67cab1d6bd3a3960e159319f36cf","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"support instanceOf checks in patterns","distinct":true,"url":"https://api.github.com/repos/larsrh/leon/commits/9913c47bb67a67cab1d6bd3a3960e159319f36cf"},{"sha":"ab9e2f222a49dafb0331af6915d774605298e00e","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"more test cases","distinct":true,"url":"https://api.github.com/repos/larsrh/leon/commits/ab9e2f222a49dafb0331af6915d774605298e00e"}]}