{"push_id":545704100,"size":1,"distinct_size":1,"ref":"refs/heads/keyboard-selection","head":"6ced5b06f1ac8c812be33d45cc3a12d0ee756205","before":"aba62d9cb3323c9158099d52939c36e15620ded7","commits":[{"sha":"6ced5b06f1ac8c812be33d45cc3a12d0ee756205","author":{"email":"ef9c145df0d91f4ae3f2ee937c5757f539df3df6@gmail.com","name":"Ben Gamari"},"message":"Use keyup instead of keypress\n\nApparently Chrome doesn't support keypress","distinct":true,"url":"https://api.github.com/repos/bgamari/hoogle/commits/6ced5b06f1ac8c812be33d45cc3a12d0ee756205"}]}