{"push_id":600701602,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"be1727c25fc28759c7ec03f3cf73ef827417fc33","before":"741b726de3e7b038adca01590617637d271c4f18","commits":[{"sha":"be1727c25fc28759c7ec03f3cf73ef827417fc33","author":{"email":"63b2f076cff8875bcccbb377baa7fd5497a4d3b4@gmail.com","name":"blomqcon"},"message":"Finished Proof validation code, need to work on UI","distinct":true,"url":"https://api.github.com/repos/blomqcon/logic-solver/commits/be1727c25fc28759c7ec03f3cf73ef827417fc33"}]}