{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":372316708,"defaultBranch":"main","name":"lean4-maze","ownerLogin":"dwrensha","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-30T21:16:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/495768?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1704760733.0","currentOid":""},"activityList":{"items":[{"before":"b40ecfcec1092a854bc441eeca867b4e287b59b5","after":"419ca290194346be377d01b5ea1d5623a2243045","ref":"refs/heads/main","pushedAt":"2024-06-07T11:03:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update to lean v4.8.0","shortMessageHtmlLink":"update to lean v4.8.0"}},{"before":"f4560a67f9a01de950d300912716b4ee2a84c723","after":"b40ecfcec1092a854bc441eeca867b4e287b59b5","ref":"refs/heads/main","pushedAt":"2024-05-04T18:15:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean to v4.8.0-rc1","shortMessageHtmlLink":"update lean to v4.8.0-rc1"}},{"before":"1182d626d72f61c227710707871907221680bb2a","after":"f4560a67f9a01de950d300912716b4ee2a84c723","ref":"refs/heads/main","pushedAt":"2024-05-02T20:06:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean version to 4.7.0","shortMessageHtmlLink":"update lean version to 4.7.0"}},{"before":"87dfad0f53e4b856aed0a3179d9a56e9654e7bb8","after":"1182d626d72f61c227710707871907221680bb2a","ref":"refs/heads/main","pushedAt":"2024-03-02T14:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"bump lean to v4.6.0","shortMessageHtmlLink":"bump lean to v4.6.0"}},{"before":"9b1c34a0250dea7f032be206fdd45e0b18616b66","after":"87dfad0f53e4b856aed0a3179d9a56e9654e7bb8","ref":"refs/heads/main","pushedAt":"2024-02-10T16:33:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean version","shortMessageHtmlLink":"update lean version"}},{"before":"935a0dc067d62922f99bf62e62b607dfe4289750","after":"c4f0555afc861d0d3e4afcc58bf5cfa1bfdb8be3","ref":"refs/heads/aesop","pushedAt":"2024-01-09T00:45:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"add aesop and get it to kinda work","shortMessageHtmlLink":"add aesop and get it to kinda work"}},{"before":"6da53024d8e85f14e18ae81a376077185dc8fd43","after":"935a0dc067d62922f99bf62e62b607dfe4289750","ref":"refs/heads/aesop","pushedAt":"2024-01-09T00:42:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"add aesop and get it to kinda work","shortMessageHtmlLink":"add aesop and get it to kinda work"}},{"before":null,"after":"6da53024d8e85f14e18ae81a376077185dc8fd43","ref":"refs/heads/aesop","pushedAt":"2024-01-09T00:38:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"add aesop and get it to kinda work","shortMessageHtmlLink":"add aesop and get it to kinda work"}},{"before":"3106f8926302239ef05c0e1d93a336eb176a901a","after":"9b1c34a0250dea7f032be206fdd45e0b18616b66","ref":"refs/heads/main","pushedAt":"2023-12-29T23:51:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"gitignore .lake, and check in lake-manifest.json","shortMessageHtmlLink":"gitignore .lake, and check in lake-manifest.json"}},{"before":"be3d0b8ebeafc3ccb16342a6d7aedff25a2f0e87","after":"3106f8926302239ef05c0e1d93a336eb176a901a","ref":"refs/heads/main","pushedAt":"2023-12-29T18:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean version","shortMessageHtmlLink":"update lean version"}},{"before":"b5b9bb9683e513f39843c9c74ef6976e6bdca64c","after":"be3d0b8ebeafc3ccb16342a6d7aedff25a2f0e87","ref":"refs/heads/main","pushedAt":"2023-12-29T18:18:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update comment: simp -> decide","shortMessageHtmlLink":"update comment: simp -> decide"}},{"before":"e2bae637b79d884a65a11a107b030c7fb717d313","after":"b5b9bb9683e513f39843c9c74ef6976e6bdca64c","ref":"refs/heads/main","pushedAt":"2023-11-30T15:19:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"lean v4.3.0","shortMessageHtmlLink":"lean v4.3.0"}},{"before":"55e39a5ba27bc0e56fe64b7c7b2aea1bc6f610e5","after":"e2bae637b79d884a65a11a107b030c7fb717d313","ref":"refs/heads/main","pushedAt":"2023-11-17T16:34:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update for new lean","shortMessageHtmlLink":"update for new lean"}},{"before":"0e00926ca941b7ff9eb2971b5e4be28d4880591a","after":"55e39a5ba27bc0e56fe64b7c7b2aea1bc6f610e5","ref":"refs/heads/main","pushedAt":"2023-10-31T23:31:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"sections","shortMessageHtmlLink":"sections"}},{"before":"fa31772407a14b70b638511196cd1e5ae3b3701e","after":"0e00926ca941b7ff9eb2971b5e4be28d4880591a","ref":"refs/heads/main","pushedAt":"2023-10-31T23:30:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"479adfdfb6816a9c82552cdd0e0c875787188f2c","after":"fa31772407a14b70b638511196cd1e5ae3b3701e","ref":"refs/heads/main","pushedAt":"2023-10-31T23:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"add link to playground","shortMessageHtmlLink":"add link to playground"}},{"before":"bdd4cd1dae40f6a630df6a303bbdbb326a826cf8","after":"479adfdfb6816a9c82552cdd0e0c875787188f2c","ref":"refs/heads/main","pushedAt":"2023-10-31T23:24:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean version","shortMessageHtmlLink":"update lean version"}},{"before":"c47b902dcbc39dc66c64f6226b8768db68ef1ba6","after":"bdd4cd1dae40f6a630df6a303bbdbb326a826cf8","ref":"refs/heads/main","pushedAt":"2023-10-25T20:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"focus on subgoals and assert doneness\n\nFixes a bug found by @dunhamsteve@mathstodon.xyz,\nwhere `west` and `north` could lead to a broken\nstate.","shortMessageHtmlLink":"focus on subgoals and assert doneness"}},{"before":"085605c583885fbee07ce27b721ab14a74081ecd","after":"c47b902dcbc39dc66c64f6226b8768db68ef1ba6","ref":"refs/heads/main","pushedAt":"2023-10-25T01:45:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"remove extra space","shortMessageHtmlLink":"remove extra space"}},{"before":"dcb779ff7896d95e0ab411ae855be043e3d60c49","after":"085605c583885fbee07ce27b721ab14a74081ecd","ref":"refs/heads/main","pushedAt":"2023-10-25T01:43:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"remove unneeded ToString instance","shortMessageHtmlLink":"remove unneeded ToString instance"}},{"before":"388ec360796554839b6c00a47a054c337ad3040c","after":"dcb779ff7896d95e0ab411ae855be043e3d60c49","ref":"refs/heads/main","pushedAt":"2023-10-24T15:31:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"admit -> sorry","shortMessageHtmlLink":"admit -> sorry"}},{"before":"119d7a280b53a15945263a66240e1403fb27b1e8","after":"388ec360796554839b6c00a47a054c337ad3040c","ref":"refs/heads/main","pushedAt":"2023-10-24T15:31:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean","shortMessageHtmlLink":"update lean"}},{"before":"c14991a8439614277ad7501609de848f3ea4bc1c","after":"119d7a280b53a15945263a66240e1403fb27b1e8","ref":"refs/heads/main","pushedAt":"2023-10-16T18:57:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"add lakefile.olean to .gitignore","shortMessageHtmlLink":"add lakefile.olean to .gitignore"}},{"before":"561e035716669ace4554aba4a87d741a4deb6eb6","after":"c14991a8439614277ad7501609de848f3ea4bc1c","ref":"refs/heads/main","pushedAt":"2023-10-05T18:52:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean","shortMessageHtmlLink":"update lean"}},{"before":"39a6fcaf76544ff39e2752db073d1c1bae3489f8","after":"561e035716669ace4554aba4a87d741a4deb6eb6","ref":"refs/heads/main","pushedAt":"2023-10-05T18:49:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"fix typo in README","shortMessageHtmlLink":"fix typo in README"}},{"before":"b7b36525dbf48989d09cd89c79703b55343af124","after":"39a6fcaf76544ff39e2752db073d1c1bae3489f8","ref":"refs/heads/main","pushedAt":"2023-04-30T18:35:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dwrensha","name":"David Renshaw","path":"/dwrensha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/495768?s=80&v=4"},"commit":{"message":"update lean","shortMessageHtmlLink":"update lean"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXyDDNQA","startCursor":null,"endCursor":null}},"title":"Activity · dwrensha/lean4-maze"}