{"push_id":856731395,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7911260a6a0913457d8cc89b00d9dfad5d5f8780","before":"200329ac37687ab3e8cc6f06b774dc556951b961","commits":[{"sha":"7911260a6a0913457d8cc89b00d9dfad5d5f8780","author":{"email":"3649180274ce5168d164eb8cfb003696d3031d5e@gmail.com","name":"Butiri Dan"},"message":"Changed lock_release for priority scheduler","distinct":true,"url":"https://api.github.com/repos/ParvuLeonard/pintos/commits/7911260a6a0913457d8cc89b00d9dfad5d5f8780"}]}