{"push_id":688401577,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e22c00cb2a2bda675a96a1478bf498e85410ccee","before":"55e91d59a1b7eae4f4ae4ed0fbe7701d053a4330","commits":[{"sha":"e22c00cb2a2bda675a96a1478bf498e85410ccee","author":{"email":"f142f7889c110a9866577a24b7fe4cfc4d2348af@gmail.com","name":"João Paulo Pizani Flor"},"message":"added hetseq patterns","distinct":true,"url":"https://api.github.com/repos/joaopizani/piware-agda/commits/e22c00cb2a2bda675a96a1478bf498e85410ccee"}]}