{"push_id":830582994,"size":1,"distinct_size":1,"ref":"refs/heads/UndoCommand","head":"c61c642e929bb75037372ed35cbf0af07d653030","before":"f3c029f9da6d459c5c27ae3858852f7c250abc73","commits":[{"sha":"c61c642e929bb75037372ed35cbf0af07d653030","author":{"email":"363f7ca36cfad24cba17dcbac127dda06a1cb399@gmail.com","name":"Joel"},"message":"Fix refresh panel bug in MainPanel.java","distinct":true,"url":"https://api.github.com/repos/cs2103aug2015-f10-3j/main/commits/c61c642e929bb75037372ed35cbf0af07d653030"}]}