{"push_id":823789008,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d5c42f497f46a4f516e11ffe84e5f71c633e1748","before":"2fe63c95b9eea323e205135ef2eb4c0fcb0472ac","commits":[{"sha":"d5c42f497f46a4f516e11ffe84e5f71c633e1748","author":{"email":"af53b37d0bd0aad31b3a706eefe074e98ce7e55a@gmail.com","name":"Lucas Ljungberg"},"message":"Added start to implication rules","distinct":true,"url":"https://api.github.com/repos/Lucasljungberg/logik-lab1/commits/d5c42f497f46a4f516e11ffe84e5f71c633e1748"}]}