{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":740480565,"defaultBranch":"master","name":"lean-math-workshop","ownerLogin":"Seasawher","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-01-08T12:39:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/47292598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720922675.0","currentOid":""},"activityList":{"items":[{"before":"8a777817c40e85a6c26b4751be352e5e2c6f6f9b","after":null,"ref":"refs/heads/update-lean","pushedAt":"2024-07-14T02:04:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":null,"after":"8a777817c40e85a6c26b4751be352e5e2c6f6f9b","ref":"refs/heads/update-lean","pushedAt":"2024-07-13T02:25:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"バージョン更新","shortMessageHtmlLink":"バージョン更新"}},{"before":"4a69b0130b276b45212e2b12b90032b146b56d67","after":"5acd4b933d47fd6c1032798a6046c1baf261445d","ref":"refs/heads/master","pushedAt":"2024-07-13T01:22:10.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #40 from Seasawher/patch-1\n\nREADMEのリンク集の説明を更新","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2391969531\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yuma-mizuno/lean-math-workshop/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yuma-mizuno/lean-math-workshop/pull/40/hovercard\" href=\"https://github.com/yuma-mizuno/lean-math-workshop/pull/40\">yuma-mizuno#40</a> from Seasawher/patch-1"}},{"before":"7a6da6a254a698cbbddda283913bff21360920b0","after":null,"ref":"refs/heads/patch-1","pushedAt":"2024-07-07T02:18:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"4482781162316e93091337f48322262f353b17b0","after":"7a6da6a254a698cbbddda283913bff21360920b0","ref":"refs/heads/patch-1","pushedAt":"2024-07-06T18:18:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Update README.md\n\nCo-authored-by: Yuma Mizuno <mizuno.y.aj@gmail.com>","shortMessageHtmlLink":"Update README.md"}},{"before":"2841a557be65c4cac3ae700f28a478fc6887cec8","after":"4482781162316e93091337f48322262f353b17b0","ref":"refs/heads/patch-1","pushedAt":"2024-07-06T05:33:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"リンク集更新\n\n現状のミニマルな説明にとどめる","shortMessageHtmlLink":"リンク集更新"}},{"before":"b210de95ad2d1bc4ebc5c1863cdaa49b2940ae5e","after":"2841a557be65c4cac3ae700f28a478fc6887cec8","ref":"refs/heads/patch-1","pushedAt":"2024-07-05T06:56:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"READMEのリンク集の説明を更新\n\nタクティク逆引きリストは改名されて Lean by Example という名前になった. 中身も少し変わり，タクティク以外も説明する包括的な書籍になった．","shortMessageHtmlLink":"READMEのリンク集の説明を更新"}},{"before":"1403bbca7860ac3878976dbbbb2e38b55f69d592","after":null,"ref":"refs/heads/Seasawher/issue38","pushedAt":"2024-06-24T00:02:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"23baf19f71e4429ab4d7457a22682e8a19f79ab9","after":"1403bbca7860ac3878976dbbbb2e38b55f69d592","ref":"refs/heads/Seasawher/issue38","pushedAt":"2024-06-23T16:51:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"実情を反映しないヒントを削除する","shortMessageHtmlLink":"実情を反映しないヒントを削除する"}},{"before":"4b0b2fdb148fd3324cbe61b73fb91d0377d0e215","after":"23baf19f71e4429ab4d7457a22682e8a19f79ab9","ref":"refs/heads/Seasawher/issue38","pushedAt":"2024-06-23T16:49:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Lean と Mathlib を v4.8.0 に更新する\nFixes #38","shortMessageHtmlLink":"Lean と Mathlib を v4.8.0 に更新する"}},{"before":"2a83cd45ee4a1b551eeb2cbfbcae8b680f2e016f","after":"4a69b0130b276b45212e2b12b90032b146b56d67","ref":"refs/heads/master","pushedAt":"2024-06-23T16:48:09.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #37 from Seasawher/Seasawher-patch-1\n\nAdd tactic cheatsheet","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2241602580\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yuma-mizuno/lean-math-workshop/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yuma-mizuno/lean-math-workshop/pull/37/hovercard\" href=\"https://github.com/yuma-mizuno/lean-math-workshop/pull/37\">yuma-mizuno#37</a> from Seasawher/Seasawher-patch-1"}},{"before":null,"after":"4b0b2fdb148fd3324cbe61b73fb91d0377d0e215","ref":"refs/heads/Seasawher/issue38","pushedAt":"2024-06-08T11:30:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Lean と Mathlib を v4.8.0 に更新する\nFixes #38","shortMessageHtmlLink":"Lean と Mathlib を v4.8.0 に更新する"}},{"before":"5102e52fe1cb5940f15d5af85db47b6b4b1e73d1","after":null,"ref":"refs/heads/Seasawher-patch-1","pushedAt":"2024-05-04T17:58:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"f29b37750709fb720a91fb50e465b92489c2da66","after":"5102e52fe1cb5940f15d5af85db47b6b4b1e73d1","ref":"refs/heads/Seasawher-patch-1","pushedAt":"2024-05-04T14:15:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"逆引きリストが日本語で利用できることを強調する","shortMessageHtmlLink":"逆引きリストが日本語で利用できることを強調する"}},{"before":"b28226f589ea515f26d14b1ce21cb997ede7d0f4","after":"f29b37750709fb720a91fb50e465b92489c2da66","ref":"refs/heads/Seasawher-patch-1","pushedAt":"2024-04-13T15:10:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"fix description of tactic cheatsheet","shortMessageHtmlLink":"fix description of tactic cheatsheet"}},{"before":null,"after":"b28226f589ea515f26d14b1ce21cb997ede7d0f4","ref":"refs/heads/Seasawher-patch-1","pushedAt":"2024-04-13T15:08:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"add link to tactic-cheatsheet","shortMessageHtmlLink":"add link to tactic-cheatsheet"}},{"before":"35b3bf7357f4ceeba5f7948602ff9c83296ba8f5","after":"2a83cd45ee4a1b551eeb2cbfbcae8b680f2e016f","ref":"refs/heads/master","pushedAt":"2024-04-13T15:03:55.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"generated by GitHub Action","shortMessageHtmlLink":"generated by GitHub Action"}},{"before":"3402dcdfc6c64c09ee7380a6a80b365d1acdbbf2","after":null,"ref":"refs/heads/update-lean","pushedAt":"2024-04-09T19:36:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":null,"after":"3402dcdfc6c64c09ee7380a6a80b365d1acdbbf2","ref":"refs/heads/update-lean","pushedAt":"2024-04-09T15:25:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"follow changes in mathlib","shortMessageHtmlLink":"follow changes in mathlib"}},{"before":"2d88ed92ae6f6eab28f8815ee90b37d8c88639cd","after":"35b3bf7357f4ceeba5f7948602ff9c83296ba8f5","ref":"refs/heads/master","pushedAt":"2024-04-09T15:08:54.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"generated by GitHub Action","shortMessageHtmlLink":"generated by GitHub Action"}},{"before":"b4fa1e4f2c7a9cef584737bf7d407d3b0f817681","after":null,"ref":"refs/heads/update-lean","pushedAt":"2024-04-06T11:34:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"33b6e72c5329859757be84139c1158ae610894ae","after":"b4fa1e4f2c7a9cef584737bf7d407d3b0f817681","ref":"refs/heads/update-lean","pushedAt":"2024-04-06T03:13:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Update Solution/Advanced/Category/Lecture1.lean\n\nCo-authored-by: Yuma Mizuno <mizuno.y.aj@gmail.com>","shortMessageHtmlLink":"Update Solution/Advanced/Category/Lecture1.lean"}},{"before":null,"after":"33b6e72c5329859757be84139c1158ae610894ae","ref":"refs/heads/update-lean","pushedAt":"2024-03-29T21:09:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"FunLike の仕様変更に伴うエラーを解消する","shortMessageHtmlLink":"FunLike の仕様変更に伴うエラーを解消する"}},{"before":"9f759bc397188111e84273ceb341689189ceee1e","after":"2d88ed92ae6f6eab28f8815ee90b37d8c88639cd","ref":"refs/heads/master","pushedAt":"2024-03-29T20:25:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #31 from Seasawher/dev-env\n\nツールの使用についてコメントする","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152862318\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yuma-mizuno/lean-math-workshop/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yuma-mizuno/lean-math-workshop/pull/31/hovercard\" href=\"https://github.com/yuma-mizuno/lean-math-workshop/pull/31\">yuma-mizuno#31</a> from Seasawher/dev-env"}},{"before":"7540d6d4e74b05764aeedb4e3dab1b3627abb57b","after":null,"ref":"refs/heads/dev-env","pushedAt":"2024-02-26T13:13:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"7ca477694d2dae6515ef8b9721acc830aef0d2b2","after":"7540d6d4e74b05764aeedb4e3dab1b3627abb57b","ref":"refs/heads/dev-env","pushedAt":"2024-02-26T10:49:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"句読点の変更，間を詰める","shortMessageHtmlLink":"句読点の変更，間を詰める"}},{"before":null,"after":"7ca477694d2dae6515ef8b9721acc830aef0d2b2","ref":"refs/heads/dev-env","pushedAt":"2024-02-25T17:23:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"ツールの使用についてコメントする","shortMessageHtmlLink":"ツールの使用についてコメントする"}},{"before":"70a25d4199a2a95b6161349737c5baae287deec7","after":"9f759bc397188111e84273ceb341689189ceee1e","ref":"refs/heads/master","pushedAt":"2024-02-25T17:19:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #29 from Seasawher/restrict-action\n\nfork先で make-exercise が走らないようにする","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2144616295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/yuma-mizuno/lean-math-workshop/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/yuma-mizuno/lean-math-workshop/pull/29/hovercard\" href=\"https://github.com/yuma-mizuno/lean-math-workshop/pull/29\">yuma-mizuno#29</a> from Seasawher/restrict-action"}},{"before":"3fc9aeda355c84e48541a1648e75f22e624de872","after":"70a25d4199a2a95b6161349737c5baae287deec7","ref":"refs/heads/master","pushedAt":"2024-02-25T17:18:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"test: Basic を解く","shortMessageHtmlLink":"test: Basic を解く"}},{"before":"7ead719fd8567db580bcf5946d064b604300a21e","after":"3fc9aeda355c84e48541a1648e75f22e624de872","ref":"refs/heads/master","pushedAt":"2024-02-25T17:16:29.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge branch 'yuma-mizuno:master' into master","shortMessageHtmlLink":"Merge branch 'yuma-mizuno:master' into master"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNFQwMjowNDozNS4wMDAwMDBazwAAAAR-ybZ1","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNFQwMjowNDozNS4wMDAwMDBazwAAAAR-ybZ1","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0yNVQxNzoxNjoyOS4wMDAwMDBazwAAAAQEpxai"}},"title":"Activity · Seasawher/lean-math-workshop"}