{"push_id":927091660,"size":5,"distinct_size":1,"ref":"refs/heads/master","head":"7fc581454eaea13feaef9d03a290dfa899529c26","before":"d83a2856420d700554158f548c296bfc6fe08fba","commits":[{"sha":"97bd52d70feab3720f0b3b3144481292b91477b6","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"app-template provides logger and setup","distinct":false,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/97bd52d70feab3720f0b3b3144481292b91477b6"},{"sha":"8c2561706f891991d8e229a9ebee433cc33fb279","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"Isabelle/jEdit launcher","distinct":false,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/8c2561706f891991d8e229a9ebee433cc33fb279"},{"sha":"6e43aa52115a902f03d9ac340041e3f07cca2fac","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"inject environment variables","distinct":false,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/6e43aa52115a902f03d9ac340041e3f07cca2fac"},{"sha":"25cce43c8d7b6b3ab8250a04f7468fb08c5fd03b","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"update protocol","distinct":false,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/25cce43c8d7b6b3ab8250a04f7468fb08c5fd03b"},{"sha":"7fc581454eaea13feaef9d03a290dfa899529c26","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"Merge pull request #22 from larsrh/topic/cli\n\nCommand line interface and variable injection","distinct":true,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/7fc581454eaea13feaef9d03a290dfa899529c26"}]}