{"push_id":650480858,"size":1,"distinct_size":1,"ref":"refs/heads/topic/load-redux","head":"21390e09de3dfc13fa56d402098415b3bf6f7d4d","before":"8d175a0196405644237fbd90a3adf6d740960c3b","commits":[{"sha":"21390e09de3dfc13fa56d402098415b3bf6f7d4d","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"bracketed execution enables feeding of all messages","distinct":true,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/21390e09de3dfc13fa56d402098415b3bf6f7d4d"}]}