{"push_id":562264789,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d4d353cfefe6c1559a8885a8366ba8cc688c7576","before":"28dc363972792d1dd32b8586ab03909209a01fad","commits":[{"sha":"d4d353cfefe6c1559a8885a8366ba8cc688c7576","author":{"email":"33421ae686d6c8a601f82e3a72cc5e0ef8a9d789@corn03.stanford.edu","name":"Kenny Xu"},"message":"changed int[1] to int for style in syscall.c","distinct":true,"url":"https://api.github.com/repos/colinman/pintos/commits/d4d353cfefe6c1559a8885a8366ba8cc688c7576"}]}