{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":493641394,"defaultBranch":"master","name":"agda-plfa","ownerLogin":"siers","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-05-18T11:51:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/235147?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1652874730.98806","currentOid":""},"activityList":{"items":[{"before":"db5c427567d61651bb9ff604b6d3fa7693590291","after":"2eccaf61c1b227e3246aed90b8d68a51612fae93","ref":"refs/heads/master","pushedAt":"2023-06-19T11:23:07.399Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"siers","name":"Raitis Veinbahs","path":"/siers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/235147?s=80&v=4"},"commit":{"message":"Nr20221125, Nr20230618: andar bahar data model slow progress","shortMessageHtmlLink":"Nr20221125, Nr20230618: andar bahar data model slow progress"}},{"before":"46484cf140360bb960e753c0f135cdba97eb84f1","after":"db5c427567d61651bb9ff604b6d3fa7693590291","ref":"refs/heads/master","pushedAt":"2023-06-19T10:54:54.588Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"siers","name":"Raitis Veinbahs","path":"/siers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/235147?s=80&v=4"},"commit":{"message":"Nr20221125, Nr20230618: andar bahar data model slow progress","shortMessageHtmlLink":"Nr20221125, Nr20230618: andar bahar data model slow progress"}},{"before":"f35c5c12147a83b3dfc64c3658d70a2e183d4bbf","after":"46484cf140360bb960e753c0f135cdba97eb84f1","ref":"refs/heads/master","pushedAt":"2023-06-19T10:50:52.610Z","pushType":"push","commitsCount":1,"pusher":{"login":"siers","name":"Raitis Veinbahs","path":"/siers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/235147?s=80&v=4"},"commit":{"message":"Nr20221125, Nr20230618: andar bahar data model slow progress","shortMessageHtmlLink":"Nr20221125, Nr20230618: andar bahar data model slow progress"}},{"before":"f209537798c223e02c6c11fe2770e3c2d41ef3fb","after":"f35c5c12147a83b3dfc64c3658d70a2e183d4bbf","ref":"refs/heads/master","pushedAt":"2023-06-12T22:40:45.836Z","pushType":"push","commitsCount":1,"pusher":{"login":"siers","name":"Raitis Veinbahs","path":"/siers","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/235147?s=80&v=4"},"commit":{"message":"sandbox/Nr20221125: Andar Bahar shuffle model","shortMessageHtmlLink":"sandbox/Nr20221125: Andar Bahar shuffle model"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADRFvleAA","startCursor":null,"endCursor":null}},"title":"Activity · siers/agda-plfa"}