{"shas":[["6f2c08489bc23e2e1d2ad8623324f0dee308e23b","d3b19b8279f4163a61aec43d9131cc1c56f15cf2@gmail.com","add Dual Category","Mirai"]],"repo":"erutuf/AgdaConCaT","actor":"erutuf","ref":"refs/heads/master","size":1,"head":"6f2c08489bc23e2e1d2ad8623324f0dee308e23b","actor_gravatar":"525f261db297d3b7eca8286ebc82be03","push_id":30869415}