{"push_id":567857746,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1c0e098f5df0812ee670e82a2d7b74b5e5c9fd9d","before":"6e9fce2a081d29831e7dbd2f6f9ef021c1555f07","commits":[{"sha":"1c0e098f5df0812ee670e82a2d7b74b5e5c9fd9d","author":{"email":"be7ee8e42ee0b934d069d96b34eaa057667836e1@cs.cmu.edu","name":"Dan Licata"},"message":"stuff","distinct":true,"url":"https://api.github.com/repos/dlicata335/hott-agda/commits/1c0e098f5df0812ee670e82a2d7b74b5e5c9fd9d"}]}