{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":41132461,"defaultBranch":"master","name":"awesome-coq","ownerLogin":"uhub","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-08-21T03:29:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13760298?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1440127749.0","currentOid":""},"activityList":{"items":[{"before":"69d9862573cb1e128473e17e8b1e2a406098568e","after":"b00ae6fb1130f58c87aa872128cbfd0530228afe","ref":"refs/heads/master","pushedAt":"2024-04-26T00:00:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"7ce3d696291562c9298d1312cccacb8e2ccc918a","after":"69d9862573cb1e128473e17e8b1e2a406098568e","ref":"refs/heads/master","pushedAt":"2024-03-31T00:00:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"561786e51abe6d21f18464ba9c4876873c7752b5","after":"7ce3d696291562c9298d1312cccacb8e2ccc918a","ref":"refs/heads/master","pushedAt":"2024-03-05T00:00:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"1aff0f543cd18fc6dcbabb3a9da6619aeb52370a","after":"561786e51abe6d21f18464ba9c4876873c7752b5","ref":"refs/heads/master","pushedAt":"2024-02-08T00:00:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"bc1f79a0dc2f91d50306476b9f5a1dc905274ff8","after":"1aff0f543cd18fc6dcbabb3a9da6619aeb52370a","ref":"refs/heads/master","pushedAt":"2024-01-13T00:00:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"b001988041ced95ad5d4c478dfbb8907a41d1631","after":"bc1f79a0dc2f91d50306476b9f5a1dc905274ff8","ref":"refs/heads/master","pushedAt":"2023-12-18T00:00:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"2e6a441648df2bb42d034b94ec49c7a1974a280e","after":"b001988041ced95ad5d4c478dfbb8907a41d1631","ref":"refs/heads/master","pushedAt":"2023-11-22T00:00:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"2ef4b1906b799d970a184274f5c832c7cb9c70f8","after":"2e6a441648df2bb42d034b94ec49c7a1974a280e","ref":"refs/heads/master","pushedAt":"2023-10-27T00:00:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"9aa68815857d2a5cd626fc05453618cceff0ebf2","after":"2ef4b1906b799d970a184274f5c832c7cb9c70f8","ref":"refs/heads/master","pushedAt":"2023-10-01T00:00:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"5afca68a02e007155ed70ea54fbebf0c9bddacae","after":"9aa68815857d2a5cd626fc05453618cceff0ebf2","ref":"refs/heads/master","pushedAt":"2023-09-05T00:00:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"936b5a706cfe95151f8594b826251595fbb7b99e","after":"5afca68a02e007155ed70ea54fbebf0c9bddacae","ref":"refs/heads/master","pushedAt":"2023-08-10T00:08:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"8b2d8c80b6d2b45645dd80b7c21f4db6dbdacaad","after":"936b5a706cfe95151f8594b826251595fbb7b99e","ref":"refs/heads/master","pushedAt":"2023-07-15T00:07:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"94b597864a38a4c0d031e410b36d7378e28f2472","after":"8b2d8c80b6d2b45645dd80b7c21f4db6dbdacaad","ref":"refs/heads/master","pushedAt":"2023-06-19T00:06:34.221Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"6ae2e7a38086115d15ecea861e399b0e97f3fb0b","after":"94b597864a38a4c0d031e410b36d7378e28f2472","ref":"refs/heads/master","pushedAt":"2023-05-24T00:05:45.438Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"a994d1d1dd2b9f90fdaf440a7634985e5022253e","after":"6ae2e7a38086115d15ecea861e399b0e97f3fb0b","ref":"refs/heads/master","pushedAt":"2023-04-28T00:05:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"ccf1734a4075c5ad5833773e358da7b0e134cd0b","after":"a994d1d1dd2b9f90fdaf440a7634985e5022253e","ref":"refs/heads/master","pushedAt":"2023-04-02T00:04:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ccding","name":"Cong Ding","path":"/ccding","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221778?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOqzJZwA","startCursor":null,"endCursor":null}},"title":"Activity · uhub/awesome-coq"}