{"push_id":964188678,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0392afac94e05cdd4eaa6c4047ea81491e2a1ed8","before":"874921e304c429a8de5eb83c7bfdff0518d4df2a","commits":[{"sha":"0392afac94e05cdd4eaa6c4047ea81491e2a1ed8","author":{"email":"2141de1d95d6e91db81c094959e0815ef8d7bb7d@cs.washington.edu","name":"Ben Keller"},"message":"Move agent from randoop.instrument to randoop.agent","distinct":true,"url":"https://api.github.com/repos/randoop/randoop/commits/0392afac94e05cdd4eaa6c4047ea81491e2a1ed8"}]}