{"push_id":4083957523,"size":7,"distinct_size":7,"ref":"refs/heads/dev","head":"2b5e91d663dca031b57beb7f4530a63ce3ac8a6f","before":"8df6a99dfcf63debd749ef44b14571f4559e7ae8","commits":[{"sha":"2673ebb24913f651f26f08e33e89f45296089d5c","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ refactor ] Remove InputMethod.Action.InsertAndDeactivate","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/2673ebb24913f651f26f08e33e89f45296089d5c"},{"sha":"52bd508611c8e777dd489c54c2b7fd4cfecb2207","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ refactor ] Put the \"reality\" in the state of IM","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/52bd508611c8e777dd489c54c2b7fd4cfecb2207"},{"sha":"1abd8aafac1b7a6b189661c759431440d02f69d9","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ refactor ] Move side-effects out of the reducer","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/1abd8aafac1b7a6b189661c759431440d02f69d9"},{"sha":"cf2a8ee099a2ac2891e888cf48026bbc87186240","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ refactor ] Move Display Markers out of the reducer state","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/cf2a8ee099a2ac2891e888cf48026bbc87186240"},{"sha":"1502c32885034f49cd14c232305d383f722d2c69","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ new ] Screening atomic operations","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/1502c32885034f49cd14c232305d383f722d2c69"},{"sha":"5eec79203d67fc862460407cafe56b1052e6f1c1","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ new ] InputMethod.onChange","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/5eec79203d67fc862460407cafe56b1052e6f1c1"},{"sha":"2b5e91d663dca031b57beb7f4530a63ce3ac8a6f","author":{"name":"Ting-Gian LUA","email":"e5dde5c9b235fcbea83b849d5bf49002b5ae0399@gmail.com"},"message":"[ test ] Input method","distinct":true,"url":"https://api.github.com/repos/banacorn/agda-mode/commits/2b5e91d663dca031b57beb7f4530a63ce3ac8a6f"}]}
{"actor":{"display_login":"banacorn"}}