{"push_id":755361327,"size":16,"distinct_size":1,"ref":"refs/heads/master","head":"aa348b78be2471478d1a4d518df4bdabb1b3d3c9","before":"682899007c00d5951165e607dd752f8b71ba20ec","commits":[{"sha":"64c7a331d1d24404a3b86b9c3d57cf97949d92ce","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"factor <type> out from <panel-body>","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/64c7a331d1d24404a3b86b9c3d57cf97949d92ce"},{"sha":"569ca481b54d24d7e31857e5b11d9dc89d8832d6","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"rename selectors","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/569ca481b54d24d7e31857e5b11d9dc89d8832d6"},{"sha":"b39eb525d66983c4eabb3abc920cd408fbe58210","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"fix glitches","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/b39eb525d66983c4eabb3abc920cd408fbe58210"},{"sha":"4689439414073589732a184e840c5464b322731f","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"display candidates symbols and make them selectable","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/4689439414073589732a184e840c5464b322731f"},{"sha":"3b3fa299522d6d9750925d07a66f0b7086f66aa7","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"plz gimme a type system","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/3b3fa299522d6d9750925d07a66f0b7086f66aa7"},{"sha":"356b100cdb018bee7fbb40d138b88a41cb15b78e","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"now we can select candidate symbols","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/356b100cdb018bee7fbb40d138b88a41cb15b78e"},{"sha":"9e2fce3c7a8809551f32e7f8d7f12b6a1a3c7679","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"intercept newline as confirm","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/9e2fce3c7a8809551f32e7f8d7f12b6a1a3c7679"},{"sha":"a6f1a71f30cfbf04ae77e940300baae8101f8f07","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"fix #21","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/a6f1a71f30cfbf04ae77e940300baae8101f8f07"},{"sha":"e0c865ace7b5064649d898f5a4f5de07ca40253f","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"rewrite editor activate, deactivate event","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/e0c865ace7b5064649d898f5a4f5de07ca40253f"},{"sha":"b765dc52da5a1b63875f5a31320f583d91e7fd61","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"fix non-TextEditor path","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/b765dc52da5a1b63875f5a31320f583d91e7fd61"},{"sha":"f18aff78593b74bd0bddac8e221124158155ae53","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"destroy all highlight markers after agda-mode:quit","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/f18aff78593b74bd0bddac8e221124158155ae53"},{"sha":"2946a6df6497d093242b5ce4ebf69d78d18bbd7c","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"fix <type> failed to display metas","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/2946a6df6497d093242b5ce4ebf69d78d18bbd7c"},{"sha":"ff9cb2ff88aa865c66ddd05fa5ec5f326baf99ef","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"reset candidate symbol index","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/ff9cb2ff88aa865c66ddd05fa5ec5f326baf99ef"},{"sha":"83b6cad388bdedecd9aa515c173b1db3d1930866","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"update CHANGELOG","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/83b6cad388bdedecd9aa515c173b1db3d1930866"},{"sha":"37a2f44135cf83945cebea0f34ed32681d5112d4","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"Merge branch 'dev'","distinct":false,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/37a2f44135cf83945cebea0f34ed32681d5112d4"},{"sha":"aa348b78be2471478d1a4d518df4bdabb1b3d3c9","author":{"email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com","name":"Ting-Yen Lai"},"message":"Prepare 0.3.9 release","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/aa348b78be2471478d1a4d518df4bdabb1b3d3c9"}]}