{"push_id":690990668,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"02878c126c91b1fb082b152e4cf59a66efd9f1bd","before":"afb6a52e49c7897cb6bf9439bcf8b03502f1c76b","commits":[{"sha":"02878c126c91b1fb082b152e4cf59a66efd9f1bd","author":{"email":"b25620424fc666893e6c0701e1753552e6648933@gmail.com","name":"George Kastrinis"},"message":"Create gh-pages branch via GitHub","distinct":true,"url":"https://api.github.com/repos/plast-lab/doop-pldi15-tutorial/commits/02878c126c91b1fb082b152e4cf59a66efd9f1bd"}]}