{"commits":[{"author":{"name":"Klaus Ostermann","email":"ad1959dfdf343668552041a73b2734aba8a6cfc5@gmail.com"},"sha":"07963ed1c15180da2fda3ed86ae81217d53c3c0d","message":"bugfix in cps trafo","url":"https://api.github.com/repos/klauso/PLT2011/commits/07963ed1c15180da2fda3ed86ae81217d53c3c0d"}],"ref":"refs/heads/master","head":"07963ed1c15180da2fda3ed86ae81217d53c3c0d","size":1,"push_id":51799455}