{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":298126092,"defaultBranch":"master","name":"coq-parsec","ownerLogin":"liyishuai","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-09-24T00:19:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7020805?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1663924638.8067808","currentOid":""},"activityList":{"items":[{"before":"9e85de747bfbd3c1b8abd1cb3b57cfb977f0c485","after":"07e3cd0900acd9386db84b89bd8031f907527759","ref":"refs/heads/master","pushedAt":"2024-09-21T14:17:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Generalized parse","shortMessageHtmlLink":"Generalized parse"}},{"before":"07e3cd0900acd9386db84b89bd8031f907527759","after":"9e85de747bfbd3c1b8abd1cb3b57cfb977f0c485","ref":"refs/heads/master","pushedAt":"2024-09-21T14:10:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Deprecate parse","shortMessageHtmlLink":"Deprecate parse"}},{"before":"2efb4437f8451dfbeb174368f860e629135c08ab","after":"07e3cd0900acd9386db84b89bd8031f907527759","ref":"refs/heads/master","pushedAt":"2024-09-21T13:40:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Generalized parse","shortMessageHtmlLink":"Generalized parse"}},{"before":"cdd14513aaee6cc406c6218210164020c45958cb","after":"2efb4437f8451dfbeb174368f860e629135c08ab","ref":"refs/heads/master","pushedAt":"2023-09-04T09:40:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Use standard library","shortMessageHtmlLink":"Use standard library"}},{"before":"f42571184b2f6bd74ae1d481c5851d4364bf6f70","after":"cdd14513aaee6cc406c6218210164020c45958cb","ref":"refs/heads/master","pushedAt":"2023-08-31T03:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Coq 8.18","shortMessageHtmlLink":"Coq 8.18"}},{"before":"27e4bce968be838d127afda434e2b6d0f87a0272","after":"f42571184b2f6bd74ae1d481c5851d4364bf6f70","ref":"refs/heads/master","pushedAt":"2023-06-13T02:12:48.505Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Coq 8.17","shortMessageHtmlLink":"Coq 8.17"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxNDoxNzo0NS4wMDAwMDBazwAAAAS8vO7N","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0xM1QwMjoxMjo0OC41MDU4MTBazwAAAANAFX6y"}},"title":"Activity · liyishuai/coq-parsec"}