{"push_id":887892476,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"709e2245a8b5e25ef423e9a448c5ac51d8faca87","before":"f623a9a704a2c5494736de1601194586a725dc39","commits":[{"sha":"b4b988695995164aa7b5b2f6e90bfebefea609b0","author":{"email":"534c2eebd02ff9c858887f0bae1acb361a22fc15@gmail.com","name":"Lech Głowiak"},"message":"showChar should not add redundant quotes around character","distinct":true,"url":"https://api.github.com/repos/Frege/frege/commits/b4b988695995164aa7b5b2f6e90bfebefea609b0"},{"sha":"709e2245a8b5e25ef423e9a448c5ac51d8faca87","author":{"email":"7d37fbf777acc1472fb11e1ef7c2f90a90c3fe65@gmail.com","name":"Ingo Wechsung"},"message":"Merge pull request #241 from LGLO/master\n\nshowChar should not add redundant quotes around character","distinct":true,"url":"https://api.github.com/repos/Frege/frege/commits/709e2245a8b5e25ef423e9a448c5ac51d8faca87"}]}