{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":796171604,"defaultBranch":"main","name":"documentation","ownerLogin":"Walnut-Theorem-Prover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-05-05T06:35:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/168204442?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714890922.8336792","currentOid":""},"activityList":{"items":[{"before":"f1909a9dcb495cf781e706b81f22d7ddf6bc0829","after":"83da9ae6714e706b441c7ee33f436552e151c9ae","ref":"refs/heads/main","pushedAt":"2024-05-06T08:58:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dvberkel","name":"Daan van Berkel","path":"/dvberkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/493347?s=80&v=4"},"commit":{"message":"Receive the Manual from the Walnut repository","shortMessageHtmlLink":"Receive the Manual from the Walnut repository"}},{"before":"c955ab84d58689412f01127004b8f6e7baff1ac1","after":"f1909a9dcb495cf781e706b81f22d7ddf6bc0829","ref":"refs/heads/main","pushedAt":"2024-05-06T06:00:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dvberkel","name":"Daan van Berkel","path":"/dvberkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/493347?s=80&v=4"},"commit":{"message":"Receive documentation from Walnut README","shortMessageHtmlLink":"Receive documentation from Walnut README"}},{"before":"e45b1c37a4575258d61c74965f22fffc913cb025","after":"c955ab84d58689412f01127004b8f6e7baff1ac1","ref":"refs/heads/main","pushedAt":"2024-05-05T06:39:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dvberkel","name":"Daan van Berkel","path":"/dvberkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/493347?s=80&v=4"},"commit":{"message":"Embed the wiki documentation\n\nThe developer notes on the wiki had a documentation section. This is embedded here to.\r\n\r\nAt the moment it is defunct, but that should be addressed in the documentation specific project.","shortMessageHtmlLink":"Embed the wiki documentation"}},{"before":"1d381c2e23ee45ed7458b3ba7dcab48cc6887b73","after":"e45b1c37a4575258d61c74965f22fffc913cb025","ref":"refs/heads/main","pushedAt":"2024-05-05T06:35:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dvberkel","name":"Daan van Berkel","path":"/dvberkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/493347?s=80&v=4"},"commit":{"message":"Have the title in proper capatalization","shortMessageHtmlLink":"Have the title in proper capatalization"}},{"before":null,"after":"1d381c2e23ee45ed7458b3ba7dcab48cc6887b73","ref":"refs/heads/main","pushedAt":"2024-05-05T06:35:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dvberkel","name":"Daan van Berkel","path":"/dvberkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/493347?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQlU-KAA","startCursor":null,"endCursor":null}},"title":"Activity · Walnut-Theorem-Prover/documentation"}