{"ref":"refs/heads/master","commits":[{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"99a8bba5fd3c5042e6aa48d7af423897b38cc799","message":"added 'as' keyword","url":"https://api.github.com/repos/darinmorrison/Agda/commits/99a8bba5fd3c5042e6aa48d7af423897b38cc799"},{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"2a7824545c2b7f2b3430f9166fbe5081d8107fd7","message":"started adding matchers for constants","url":"https://api.github.com/repos/darinmorrison/Agda/commits/2a7824545c2b7f2b3430f9166fbe5081d8107fd7"},{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"c0f9af44cfc60f292fad23f32ae901b84ee79e62","message":"added 'hiding' keyword","url":"https://api.github.com/repos/darinmorrison/Agda/commits/c0f9af44cfc60f292fad23f32ae901b84ee79e62"},{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"e5e95e5688e0506422e821f7016d3777df37b84b","message":"added matchers for universe level subscripts","url":"https://api.github.com/repos/darinmorrison/Agda/commits/e5e95e5688e0506422e821f7016d3777df37b84b"},{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"42a4a772473249aac415278bd4f06f56ba56b2d2","message":"added initial support for builtins","url":"https://api.github.com/repos/darinmorrison/Agda/commits/42a4a772473249aac415278bd4f06f56ba56b2d2"},{"author":{"name":"Darin Morrison","email":"bc2003d2070d1f981ea2128281b3b7349624d00d@gmail.com"},"sha":"3eb4c0429fcd475c6c9725dcd51941adef1ee979","message":"refresh","url":"https://api.github.com/repos/darinmorrison/Agda/commits/3eb4c0429fcd475c6c9725dcd51941adef1ee979"}],"head":"3eb4c0429fcd475c6c9725dcd51941adef1ee979","push_id":51445958,"size":6}