{"push_id":692656395,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"26aa6fbefd1e69d4a6b9c9e48f8eb77894800b19","before":"938b1ceab008d73a339f17791e64cb87e9697262","commits":[{"sha":"26aa6fbefd1e69d4a6b9c9e48f8eb77894800b19","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/26aa6fbefd1e69d4a6b9c9e48f8eb77894800b19"}]}