{"push_id":1360986405,"size":1,"distinct_size":1,"ref":"refs/heads/svcomp2017_industry_patterns","head":"60efb796931719b715f5979336eb25c1d98880c0","before":"bdaa9961378c31cd517bc768466979dd0ed05b11","commits":[{"sha":"60efb796931719b715f5979336eb25c1d98880c0","author":{"name":"anushrijana","email":"d0785278543d05555896cb33bb0f1758df9306db@tcs.com"},"message":"Add files via upload","distinct":true,"url":"https://api.github.com/repos/anushrijana/sv-benchmarks/commits/60efb796931719b715f5979336eb25c1d98880c0"}]}
{"actor":{"display_login":"anushrijana"}}