{"push_id":711633135,"size":1,"distinct_size":1,"ref":"refs/heads/rhu1/wf/initial-integration","head":"e9a160ae8fa506c2e96f02d25bdf8ad75a2cd090","before":"8c8db7de3ab496f0de5782e3001c3d8b4148ee95","commits":[{"sha":"e9a160ae8fa506c2e96f02d25bdf8ad75a2cd090","author":{"email":"09fdaea73b910ca86feccefebabc2a2407f2bd25@imperial.ac.uk","name":"Ray Hu"},"message":"Added an inlined-protocol visitor.","distinct":true,"url":"https://api.github.com/repos/rhu1/scribble-java/commits/e9a160ae8fa506c2e96f02d25bdf8ad75a2cd090"}]}