{"push_id":2922778424,"size":1,"distinct_size":1,"ref":"refs/heads/SPFCasesTransformation","head":"5060d091778d92c4726964b211cc487658c7003f","before":"c604307eff989273d184ecd9f1097a085ee8ddf6","commits":[{"sha":"5060d091778d92c4726964b211cc487658c7003f","author":{"name":"Vaibhav Sharma","email":"e78384dfaa97bf0f3945c4da4075af8ac33ade0a@umn.edu"},"message":"Converting an array load to a if-then-else which has a throw statement on the else side for handling the spf-case of an array load","distinct":true,"url":"https://api.github.com/repos/sohah/VeritestingTransformations/commits/5060d091778d92c4726964b211cc487658c7003f"}]}
{"actor":{"display_login":"vaibhavbsharma"}}