{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":656631281,"defaultBranch":"main","name":"theorem_proving_in_lean4_ja","ownerLogin":"Seasawher","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-21T10:21:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/47292598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1687587499.0","currentOid":""},"activityList":{"items":[{"before":"4e49fb33cc331f7c18083a18793741e6e80e0736","after":null,"ref":"refs/tags/v0.0.1","pushedAt":"2023-06-24T06:18: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":"910030167e3c7372b02701f9a706629901ee3c3c","after":"fd4dabfb22e9448b39b58d6ec2ef77d965b36ac2","ref":"refs/heads/gh-pages","pushedAt":"2023-06-24T05:09:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 1a5eb118e419c2bab50353dffd6a3a0b8c414425","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/1a5eb118e419c2bab50353dffd6a3a0b8c414425/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/1a5eb118e419c2bab50353dffd6a3a0b8c414425\"><tt>1a5eb11</tt></a>"}},{"before":"b4752f05ecab2c9e3afe0017d4e26a1c132438d9","after":"1a5eb118e419c2bab50353dffd6a3a0b8c414425","ref":"refs/heads/main","pushedAt":"2023-06-24T05:09:18.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 branch 'develop' into main","shortMessageHtmlLink":"Merge branch 'develop' into main"}},{"before":"5fc8528dc0f623687f54df23f18a660406d40513","after":"13285a0934a3caea0b35f9db52e0b90052e1863c","ref":"refs/heads/develop","pushedAt":"2023-06-24T05:07:43.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":"introductionをドラフトに戻す","shortMessageHtmlLink":"introductionをドラフトに戻す"}},{"before":"205047c41c2154957fbc2896baaaf09db0aa78bb","after":"5fc8528dc0f623687f54df23f18a660406d40513","ref":"refs/heads/develop","pushedAt":"2023-06-24T05:00:28.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":"cdca836b67c6b2430c14c4f4b0d3d56952d80c81","after":"910030167e3c7372b02701f9a706629901ee3c3c","ref":"refs/heads/gh-pages","pushedAt":"2023-06-23T17:44:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: b4752f05ecab2c9e3afe0017d4e26a1c132438d9","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/b4752f05ecab2c9e3afe0017d4e26a1c132438d9/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/b4752f05ecab2c9e3afe0017d4e26a1c132438d9\"><tt>b4752f0</tt></a>"}},{"before":"b422aeb7d6e94af9fe4c15b40b45a047f8ff63eb","after":"b4752f05ecab2c9e3afe0017d4e26a1c132438d9","ref":"refs/heads/main","pushedAt":"2023-06-23T17:44:02.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge branch 'develop' into main","shortMessageHtmlLink":"Merge branch 'develop' into main"}},{"before":"d25caaac12b210fc1e2aa8d19efcd54723b0f604","after":"205047c41c2154957fbc2896baaaf09db0aa78bb","ref":"refs/heads/develop","pushedAt":"2023-06-23T17:43:07.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":"extensionsを削除","shortMessageHtmlLink":"extensionsを削除"}},{"before":"87a6239cdae351a90c18f1b511955d83982088a9","after":"d25caaac12b210fc1e2aa8d19efcd54723b0f604","ref":"refs/heads/develop","pushedAt":"2023-06-23T17:42:29.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":"拡張機能を更新する","shortMessageHtmlLink":"拡張機能を更新する"}},{"before":"dc7e5eab9e415eff87cd6420714bc3a23cd44c47","after":"87a6239cdae351a90c18f1b511955d83982088a9","ref":"refs/heads/develop","pushedAt":"2023-06-23T16:02:11.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":"ディレクトリ構造の変更","shortMessageHtmlLink":"ディレクトリ構造の変更"}},{"before":"04830ea505db6cda5aabd826fca46d8b0221cdd0","after":"dc7e5eab9e415eff87cd6420714bc3a23cd44c47","ref":"refs/heads/develop","pushedAt":"2023-06-23T12:23:34.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"1段落目を翻訳","shortMessageHtmlLink":"1段落目を翻訳"}},{"before":"0e071927179803c10217f740755ad8977b8480ca","after":"04830ea505db6cda5aabd826fca46d8b0221cdd0","ref":"refs/heads/develop","pushedAt":"2023-06-23T12:02:50.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":"デフォルトのテーマを rust にする","shortMessageHtmlLink":"デフォルトのテーマを rust にする"}},{"before":"e1189a3cd35ab70359bafcacfe9e6dc70c772752","after":"cdca836b67c6b2430c14c4f4b0d3d56952d80c81","ref":"refs/heads/gh-pages","pushedAt":"2023-06-23T12:02:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: b422aeb7d6e94af9fe4c15b40b45a047f8ff63eb","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/b422aeb7d6e94af9fe4c15b40b45a047f8ff63eb/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/b422aeb7d6e94af9fe4c15b40b45a047f8ff63eb\"><tt>b422aeb</tt></a>"}},{"before":"cabb63e5beceb3435ae7315ae9090b577fd290d3","after":"b422aeb7d6e94af9fe4c15b40b45a047f8ff63eb","ref":"refs/heads/main","pushedAt":"2023-06-23T12:02:27.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge branch 'develop'","shortMessageHtmlLink":"Merge branch 'develop'"}},{"before":null,"after":"0e071927179803c10217f740755ad8977b8480ca","ref":"refs/heads/develop","pushedAt":"2023-06-21T12:58:17.434Z","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":"cee901250f5aeb621af9359b891fc11b53f604bc","after":"e1189a3cd35ab70359bafcacfe9e6dc70c772752","ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T12:31:36.983Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: cabb63e5beceb3435ae7315ae9090b577fd290d3","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/cabb63e5beceb3435ae7315ae9090b577fd290d3/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/cabb63e5beceb3435ae7315ae9090b577fd290d3\"><tt>cabb63e</tt></a>"}},{"before":"49c452e876e560f740fd23b23caf57a3dc3dac78","after":"cabb63e5beceb3435ae7315ae9090b577fd290d3","ref":"refs/heads/main","pushedAt":"2023-06-21T12:31:20.743Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"最初のページを title page ではなくて README にする","shortMessageHtmlLink":"最初のページを title page ではなくて README にする"}},{"before":"e49bdb944a1e40249fcbc6ee71c302753aeb87b6","after":"49c452e876e560f740fd23b23caf57a3dc3dac78","ref":"refs/heads/main","pushedAt":"2023-06-21T12:28:03.834Z","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作成","shortMessageHtmlLink":"README作成"}},{"before":null,"after":"cee901250f5aeb621af9359b891fc11b53f604bc","ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T12:14:30.289Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: e49bdb944a1e40249fcbc6ee71c302753aeb87b6","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/e49bdb944a1e40249fcbc6ee71c302753aeb87b6/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/e49bdb944a1e40249fcbc6ee71c302753aeb87b6\"><tt>e49bdb9</tt></a>"}},{"before":"fa1053abe936f3a6306246880a8910cb0e93b85e","after":null,"ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T12:13:32.181Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"}},{"before":"515036af5d3f14d77b25db8c3e1c630b836175b1","after":"e49bdb944a1e40249fcbc6ee71c302753aeb87b6","ref":"refs/heads/main","pushedAt":"2023-06-21T12:11:18.396Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"gh-pagesにデプロイすることを明示的に示す","shortMessageHtmlLink":"gh-pagesにデプロイすることを明示的に示す"}},{"before":"ef3456404daf25cab67cef0fa1700700a1827b0d","after":"fa1053abe936f3a6306246880a8910cb0e93b85e","ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T12:05:42.963Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 515036af5d3f14d77b25db8c3e1c630b836175b1","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/515036af5d3f14d77b25db8c3e1c630b836175b1/hovercard\" href=\"https://github.com/Seasawher/theorem_proving_in_lean4_ja/commit/515036af5d3f14d77b25db8c3e1c630b836175b1\"><tt>515036a</tt></a>"}},{"before":"bfe253e3029a6b0c8b8c9e9191a233dff4a3a37b","after":"515036af5d3f14d77b25db8c3e1c630b836175b1","ref":"refs/heads/main","pushedAt":"2023-06-21T12:05:23.004Z","pushType":"push","commitsCount":2,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"deployワークフローを追加","shortMessageHtmlLink":"deployワークフローを追加"}},{"before":"643193d2dcdffc8c1b7604736c72a72599e519be","after":"bfe253e3029a6b0c8b8c9e9191a233dff4a3a37b","ref":"refs/heads/main","pushedAt":"2023-06-21T11:55:25.740Z","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":"e3f8d56f48008d46b61e786bd147271c0e514b31","after":"643193d2dcdffc8c1b7604736c72a72599e519be","ref":"refs/heads/main","pushedAt":"2023-06-21T11:50:35.868Z","pushType":"push","commitsCount":1,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"hideline を追加","shortMessageHtmlLink":"hideline を追加"}},{"before":"e93042d40b8d84a448b5a176a69814d74ff284df","after":"e3f8d56f48008d46b61e786bd147271c0e514b31","ref":"refs/heads/main","pushedAt":"2023-06-21T11:47:01.598Z","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":"e93042d40b8d84a448b5a176a69814d74ff284df","after":null,"ref":"refs/heads/master","pushedAt":"2023-06-21T11:46:23.944Z","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":"e93042d40b8d84a448b5a176a69814d74ff284df","ref":"refs/heads/main","pushedAt":"2023-06-21T11:46:23.440Z","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":"95152789bedee936781cfc29b9480d63186f0c7c","after":"e93042d40b8d84a448b5a176a69814d74ff284df","ref":"refs/heads/master","pushedAt":"2023-06-21T10:47:27.485Z","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":"ef3456404daf25cab67cef0fa1700700a1827b0d","ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T10:33:08.277Z","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":"Update Wed, Jun 21, 2023  7:33:05 PM","shortMessageHtmlLink":"Update Wed, Jun 21, 2023 7:33:05 PM"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADSBpcSQA","startCursor":null,"endCursor":null}},"title":"Activity · Seasawher/theorem_proving_in_lean4_ja"}