{"push_id":964749907,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"af3659aafa2aeb474af23137026998c619584de4","before":"af8526f2a51bdd3ab4808f0e3fb4fafaa4e6f98b","commits":[{"sha":"af3659aafa2aeb474af23137026998c619584de4","author":{"email":"46f1a0bd5592a2f9244ca321b129902a06b53e03@vikraman.org","name":"Vikraman Choudhury"},"message":"Don't disable K","distinct":true,"url":"https://api.github.com/repos/vikraman/agda-playground/commits/af3659aafa2aeb474af23137026998c619584de4"}]}