{"push_id":1228541032,"size":1,"distinct_size":1,"ref":"refs/heads/smack-inst","head":"5a1b60b067f41d177488c9b449165f3690a7c72a","before":"0c2da5ae7c661d1126a1ebcc6f25de52b89f5cf2","commits":[{"sha":"5a1b60b067f41d177488c9b449165f3690a7c72a","author":{"name":"akashlal","email":"dac456b4d9378fe7d30f0bfe301657523d9fa752@microsoft.com"},"message":"Added /killAfter to AvH.\n\nAdded /entryPointProc to FastAvn","distinct":true,"url":"https://api.github.com/repos/boogie-org/corral/commits/5a1b60b067f41d177488c9b449165f3690a7c72a"}]}
{"actor":{"display_login":"akashlal"}}