{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":523458296,"defaultBranch":"main","name":"Quotientlike-types-in-Coq","ownerLogin":"marek-bauer","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-08-10T18:41:00.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/28999432?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1660157042.742202","currentOid":""},"activityList":{"items":[{"before":"135be89000d812836b86eab3ae9d644b1cdb90d3","after":"c95392610b2300eb802864488009afa026588627","ref":"refs/heads/main","pushedAt":"2024-03-09T11:22:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}},{"before":"756a515c675d94775761818cc3537bbfb99da71b","after":"135be89000d812836b86eab3ae9d644b1cdb90d3","ref":"refs/heads/main","pushedAt":"2024-03-09T10:59:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"Update readme.md","shortMessageHtmlLink":"Update readme.md"}},{"before":"e79195cfcad00354c76cf860d4a85cf354e37f43","after":"756a515c675d94775761818cc3537bbfb99da71b","ref":"refs/heads/main","pushedAt":"2023-11-08T15:30:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"1 nov","shortMessageHtmlLink":"1 nov"}},{"before":"46c87080461d40c2d1a87ee64fb8217da0b93da4","after":"e79195cfcad00354c76cf860d4a85cf354e37f43","ref":"refs/heads/main","pushedAt":"2023-10-24T19:02:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"24 oct","shortMessageHtmlLink":"24 oct"}},{"before":"829edbdad1206e6e49d415fe6b14ec9c4d962246","after":"46c87080461d40c2d1a87ee64fb8217da0b93da4","ref":"refs/heads/main","pushedAt":"2023-09-13T18:37:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"13 sep","shortMessageHtmlLink":"13 sep"}},{"before":"1131c861f8c609251c4df535836f4bd472f5cd65","after":"829edbdad1206e6e49d415fe6b14ec9c4d962246","ref":"refs/heads/main","pushedAt":"2023-09-10T13:24:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"10 sep","shortMessageHtmlLink":"10 sep"}},{"before":"82962ee2a14f1564dc34b373efcd68a04f634c94","after":"1131c861f8c609251c4df535836f4bd472f5cd65","ref":"refs/heads/main","pushedAt":"2023-09-08T10:09:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"8 sep","shortMessageHtmlLink":"8 sep"}},{"before":"f9f57da256033c146e04096731a6b1a2b2b4d203","after":"82962ee2a14f1564dc34b373efcd68a04f634c94","ref":"refs/heads/main","pushedAt":"2023-09-03T15:58:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"3 sep","shortMessageHtmlLink":"3 sep"}},{"before":"5c164d9fcbe469f9a7dbebb0129e4adc99055940","after":"f9f57da256033c146e04096731a6b1a2b2b4d203","ref":"refs/heads/main","pushedAt":"2023-07-18T14:18:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"17 jun","shortMessageHtmlLink":"17 jun"}},{"before":"68268bd64abbbc7497b2b930cae87d2d4c5c6156","after":"5c164d9fcbe469f9a7dbebb0129e4adc99055940","ref":"refs/heads/main","pushedAt":"2023-04-17T19:15:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"17 apr","shortMessageHtmlLink":"17 apr"}},{"before":"3d4563e5ab351577ab137554705742ddf8efe8ee","after":"68268bd64abbbc7497b2b930cae87d2d4c5c6156","ref":"refs/heads/main","pushedAt":"2023-04-16T12:52:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"16 apr","shortMessageHtmlLink":"16 apr"}},{"before":"602d1e328ac4a396c282e241744d129573a65381","after":"3d4563e5ab351577ab137554705742ddf8efe8ee","ref":"refs/heads/main","pushedAt":"2023-04-07T14:06:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"7 apr","shortMessageHtmlLink":"7 apr"}},{"before":"2d6ab70f321b40a496fce4629e9f7e03699a0cd2","after":"602d1e328ac4a396c282e241744d129573a65381","ref":"refs/heads/main","pushedAt":"2023-03-30T21:28:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"30 mar","shortMessageHtmlLink":"30 mar"}},{"before":"d951897f7ce0a49f0ce4a16d234dab54e3d957f6","after":"2d6ab70f321b40a496fce4629e9f7e03699a0cd2","ref":"refs/heads/main","pushedAt":"2023-03-26T19:31:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"26 mar","shortMessageHtmlLink":"26 mar"}},{"before":"3f43646e60e29937b55097a196582f2fffd71633","after":"d951897f7ce0a49f0ce4a16d234dab54e3d957f6","ref":"refs/heads/main","pushedAt":"2023-03-21T22:26:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"21 mar","shortMessageHtmlLink":"21 mar"}},{"before":"1f6c2e404155e32304c161a666d3954bd72ad8f9","after":"3f43646e60e29937b55097a196582f2fffd71633","ref":"refs/heads/main","pushedAt":"2023-03-16T22:36:50.894Z","pushType":"push","commitsCount":2,"pusher":{"login":"marek-bauer","name":"Marek Bauer","path":"/marek-bauer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28999432?s=80&v=4"},"commit":{"message":"16 mar","shortMessageHtmlLink":"16 mar"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEOU8iQA","startCursor":null,"endCursor":null}},"title":"Activity · marek-bauer/Quotientlike-types-in-Coq"}