{"push_id":2399316532,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8b8cff6b4b0d51be188699f206e260be90098bd6","before":"74d3f515fd86bf45b10bdfb905ac8bab4b55a345","commits":[{"sha":"8b8cff6b4b0d51be188699f206e260be90098bd6","author":{"name":"weiguowilliam","email":"f9f90b7105d102b0a2f7cdee4ec6d9d14bc6cc99@users.noreply.github.com"},"message":"Create README.md","distinct":true,"url":"https://api.github.com/repos/weiguowilliam/dafny-practice/commits/8b8cff6b4b0d51be188699f206e260be90098bd6"}]}
{"actor":{"display_login":"weiguowilliam"}}