{"push_id":1393358114,"size":5,"distinct_size":5,"ref":"refs/heads/stable-2.5","head":"bbb1478f6ca950bf779e6e1128d41eaa0f03a0aa","before":"6c6d358bc0d5c5d09a79594bb810fba4e2a057f7","commits":[{"sha":"2001560b36a69e7371c3c94429cfb52537886681","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ debug ] improved pretty printing for contexts","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/2001560b36a69e7371c3c94429cfb52537886681"},{"sha":"e577a0613228ce1a5eb2d799d6ae82529be69701","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ debug ] use most specific debug level rather than maximum\n\nThis lets you override verbosity levels with something lower.\nFor instance: `-v tc:100 -v tc.not.this:0`","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/e577a0613228ce1a5eb2d799d6ae82529be69701"},{"sha":"3802064e647d1e56e0ce0c0e0a405bc0e42f107a","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ debug ] improved some debug output","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/3802064e647d1e56e0ce0c0e0a405bc0e42f107a"},{"sha":"31c21e186cd4f6af8f0ed86cb843cdf16d752d35","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ #2223 ] fixed (avoided?) problem with casting level constraints to incompatible contexts","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/31c21e186cd4f6af8f0ed86cb843cdf16d752d35"},{"sha":"bbb1478f6ca950bf779e6e1128d41eaa0f03a0aa","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"Revert \"[ Emacs mode ] Don't needlessly highlight unsolved metas\"\n\nThis reverts commit 72f6c9acbec8749922f13954421a790e2aaae1f8.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/bbb1478f6ca950bf779e6e1128d41eaa0f03a0aa"}]}
{"actor":{"display_login":"UlfNorell"}}