{"push_id":1269375202,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"94b38970d67e9d4a8b7bf5ba870a36e306a2b9bc","before":"1398d21706ac930efcf11d0fe9ff3683716c2be5","commits":[{"sha":"94b38970d67e9d4a8b7bf5ba870a36e306a2b9bc","author":{"name":"VerifierIntegerAssignment","email":"1f8ed3ab93995db91df2dbd5dfb30d8000bbb3bb@ust.hk"},"message":"Delete z3query_cohendiv_1.py","distinct":true,"url":"https://api.github.com/repos/VerifierIntegerAssignment/VIAP/commits/94b38970d67e9d4a8b7bf5ba870a36e306a2b9bc"}]}
{"actor":{"display_login":"VerifierIntegerAssignment"}}