{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":548770219,"defaultBranch":"main","name":"Recursive-Subtyping-for-All","ownerLogin":"juda","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-10T06:44:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3120039?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1665384244.0917199","currentOid":""},"activityList":{"items":[{"before":"4e5bb6f5e48ab8387b387597288801ff8e645d00","after":"5627a5bb245694a2c9897943faab41c11136e352","ref":"refs/heads/main","pushedAt":"2024-04-29T07:44:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ltzone","name":"Litao Zhou","path":"/ltzone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43162837?s=80&v=4"},"commit":{"message":"upload JFP artifacts","shortMessageHtmlLink":"upload JFP artifacts"}},{"before":"04e00cefca2330cbb23a758854c571ebaf6c6bb3","after":"4e5bb6f5e48ab8387b387597288801ff8e645d00","ref":"refs/heads/main","pushedAt":"2024-04-29T07:17:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ltzone","name":"Litao Zhou","path":"/ltzone","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43162837?s=80&v=4"},"commit":{"message":"move POPL artifacts","shortMessageHtmlLink":"move POPL artifacts"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yOVQwNzo0NDozMi4wMDAwMDBazwAAAAQ8s38E","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yOVQwNzo0NDozMi4wMDAwMDBazwAAAAQ8s38E","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yOVQwNzoxNzozMi4wMDAwMDBazwAAAAQ8rlwW"}},"title":"Activity · juda/Recursive-Subtyping-for-All"}