{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":687002012,"defaultBranch":"main","name":"lean-ja.github.io","ownerLogin":"lean-ja","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-09-04T11:57:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/144012457?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706348574.0","currentOid":""},"activityList":{"items":[{"before":"9c51768eac6e16201af4c5df69957a6cbd1c7cfe","after":"925cd2795b1b4154117a7afc59d03782576d7548","ref":"refs/heads/main","pushedAt":"2024-06-18T10:42: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":"タクティクリストを改名する","shortMessageHtmlLink":"タクティクリストを改名する"}},{"before":"ade907e6ad858acd5c14e76576086312c213153a","after":null,"ref":"refs/heads/metapro-link","pushedAt":"2024-01-27T09:42: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":"7dea6c73a015a83fcf8d1e47e964d162740a283a","after":"9c51768eac6e16201af4c5df69957a6cbd1c7cfe","ref":"refs/heads/main","pushedAt":"2024-01-27T09:42:51.000Z","pushType":"pr_merge","commitsCount":2,"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 lean-ja/metapro-link\n\nメタプログラミングの本のリンク修正 #28","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2103478411\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/pull/29/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/pull/29\">#29</a> from lean-ja/metapro-link"}},{"before":null,"after":"ade907e6ad858acd5c14e76576086312c213153a","ref":"refs/heads/metapro-link","pushedAt":"2024-01-27T09:42:13.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":"メタプログラミングの本のリンク修正 #28","shortMessageHtmlLink":"メタプログラミングの本のリンク修正 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2082815179\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/28\" data-hovercard-type=\"issue\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/issues/28/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/issues/28\">#28</a>"}},{"before":"1f8d31bf5ec1ed7620cc0d212932d4127d278320","after":null,"ref":"refs/heads/gh-pages","pushedAt":"2024-01-08T10:09:55.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":"6d7425ccea9b93cc3b95826ba2950e326077f13a","after":"7dea6c73a015a83fcf8d1e47e964d162740a283a","ref":"refs/heads/main","pushedAt":"2024-01-08T10:07:55.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":"TEST ワークフロー修正: 権限を与える","shortMessageHtmlLink":"TEST ワークフロー修正: 権限を与える"}},{"before":"99b1f80a9ee7f561f366468e98b7bf5619c54801","after":"6d7425ccea9b93cc3b95826ba2950e326077f13a","ref":"refs/heads/main","pushedAt":"2024-01-08T10:05:12.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":"TEST: ワークフロー修正","shortMessageHtmlLink":"TEST: ワークフロー修正"}},{"before":"32c03aa71aba7d5162e70e56ccd74c21bacc034b","after":"99b1f80a9ee7f561f366468e98b7bf5619c54801","ref":"refs/heads/main","pushedAt":"2024-01-08T10:00:27.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":"TEST: デプロイワークフローの更新","shortMessageHtmlLink":"TEST: デプロイワークフローの更新"}},{"before":"3fe372b54aa2c7bdb1796aa2160fcfad5438e105","after":"1f8d31bf5ec1ed7620cc0d212932d4127d278320","ref":"refs/heads/gh-pages","pushedAt":"2024-01-08T09:53:15.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"2f87bb9b61583f93adb4ecc834a0f6e344c460ea","after":"32c03aa71aba7d5162e70e56ccd74c21bacc034b","ref":"refs/heads/main","pushedAt":"2024-01-08T09:52:53.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":"lean の授業リストを紹介する #27","shortMessageHtmlLink":"lean の授業リストを紹介する <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2069196148\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/27\" data-hovercard-type=\"issue\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/issues/27/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/issues/27\">#27</a>"}},{"before":"fd5c563fef6fe0c2e10490a94dabc249f09c5b93","after":"3fe372b54aa2c7bdb1796aa2160fcfad5438e105","ref":"refs/heads/gh-pages","pushedAt":"2023-11-23T07:04:12.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"d0321c6759ecb6d18d20c0cb44f2a8c97b345548","after":"2f87bb9b61583f93adb4ecc834a0f6e344c460ea","ref":"refs/heads/main","pushedAt":"2023-11-23T07:03:49.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":"link 集更新\n\nMoogle が重複していた","shortMessageHtmlLink":"link 集更新"}},{"before":"58810073d5feabc4eaaeea510ed9a57567b484b3","after":"fd5c563fef6fe0c2e10490a94dabc249f09c5b93","ref":"refs/heads/gh-pages","pushedAt":"2023-11-23T06:50:09.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"494800b5b1bf5e0738dd9e6775d7b48a4f3fd81f","after":"d0321c6759ecb6d18d20c0cb44f2a8c97b345548","ref":"refs/heads/main","pushedAt":"2023-11-23T06:49:42.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":"#26 リンク修正","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2003939830\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/26\" data-hovercard-type=\"issue\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/issues/26/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/issues/26\">#26</a> リンク修正"}},{"before":"cd5218f9fa8769c115619a504fe5dfc5dffcd846","after":"58810073d5feabc4eaaeea510ed9a57567b484b3","ref":"refs/heads/gh-pages","pushedAt":"2023-11-08T12:53:52.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"6729c90918394ba3166433299774fcb9591b86c5","after":"494800b5b1bf5e0738dd9e6775d7b48a4f3fd81f","ref":"refs/heads/main","pushedAt":"2023-11-08T12:53:26.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":"moogle 追加","shortMessageHtmlLink":"moogle 追加"}},{"before":"c0103cd06e68d8787681ef0554ddd4a13e9abe38","after":null,"ref":"refs/heads/add-syntax-highlight","pushedAt":"2023-10-30T13:09:50.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":"5fdfa9d96c6e852cda6b2f10cdf32fab76c7a5ec","after":"cd5218f9fa8769c115619a504fe5dfc5dffcd846","ref":"refs/heads/gh-pages","pushedAt":"2023-10-30T13:09:42.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"751a1a26e5eaef72c8d28658b0187953bb7e995c","after":"6729c90918394ba3166433299774fcb9591b86c5","ref":"refs/heads/main","pushedAt":"2023-10-30T13:09:07.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #25 from lean-ja/add-syntax-highlight\n\nsyntax highlight wo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1968315612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/pull/25/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/pull/25\">#25</a> from lean-ja/add-syntax-highlight"}},{"before":"2a7f21e69b8b03fd336ef421939dd72689647f35","after":"c0103cd06e68d8787681ef0554ddd4a13e9abe38","ref":"refs/heads/add-syntax-highlight","pushedAt":"2023-10-30T13:04: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":"lean プレイ風景の画像を削除","shortMessageHtmlLink":"lean プレイ風景の画像を削除"}},{"before":"a6268dcf909c9764de73b6e2be438ba6afe54b6b","after":"2a7f21e69b8b03fd336ef421939dd72689647f35","ref":"refs/heads/add-syntax-highlight","pushedAt":"2023-10-30T12:42: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":null,"after":"a6268dcf909c9764de73b6e2be438ba6afe54b6b","ref":"refs/heads/add-syntax-highlight","pushedAt":"2023-10-30T12:35:31.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":"sublime-syntax ファイルを submodule 化する","shortMessageHtmlLink":"sublime-syntax ファイルを submodule 化する"}},{"before":"4cd9e8b119acfa3d2bd17aa183da39ac4a219dac","after":"5fdfa9d96c6e852cda6b2f10cdf32fab76c7a5ec","ref":"refs/heads/gh-pages","pushedAt":"2023-10-30T10:41:16.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"898822de26856334d369fb0cdcea415ebbdb76ca","after":"751a1a26e5eaef72c8d28658b0187953bb7e995c","ref":"refs/heads/main","pushedAt":"2023-10-30T10:40:46.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":"78edcd82d8c9effd0f5a681a26a6b19fdce3b07d","after":"4cd9e8b119acfa3d2bd17aa183da39ac4a219dac","ref":"refs/heads/gh-pages","pushedAt":"2023-10-20T13:21:02.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"24f387e9fda6726410c36d4baa6c692fd165f22e","after":"898822de26856334d369fb0cdcea415ebbdb76ca","ref":"refs/heads/main","pushedAt":"2023-10-20T13:20:35.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":"_index.md のリンクを更新\n\nlean4 の web editor へのリンクが古かった","shortMessageHtmlLink":"_index.md のリンクを更新"}},{"before":"8df4320c158896822698e80200ea78160fda5230","after":"78edcd82d8c9effd0f5a681a26a6b19fdce3b07d","ref":"refs/heads/gh-pages","pushedAt":"2023-10-14T14:26:08.000Z","pushType":"force_push","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 lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages","shortMessageHtmlLink":"Deploy lean-ja/lean-ja.github.io to lean-ja/lean-ja.github.io:gh-pages"}},{"before":"206ca3ed47d9c9f0e3ff491d14613dd27655abdd","after":null,"ref":"refs/heads/add-social-info","pushedAt":"2023-10-14T14:25:44.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":"6bb315ef3502ac712f79da99980bbc4485ada3f2","after":"24f387e9fda6726410c36d4baa6c692fd165f22e","ref":"refs/heads/main","pushedAt":"2023-10-14T14:25:41.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"Seasawher","name":"Kitamado","path":"/Seasawher","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47292598?s=80&v=4"},"commit":{"message":"Merge pull request #23 from lean-ja/add-social-info\n\nメールアドレス，Discord, Zenn を追加する","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1940201223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-ja/lean-ja.github.io/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-ja/lean-ja.github.io/pull/23/hovercard\" href=\"https://github.com/lean-ja/lean-ja.github.io/pull/23\">#23</a> from lean-ja/add-social-info"}},{"before":"c5b9d31a6397708022f225195c2f160db15d8ee4","after":"206ca3ed47d9c9f0e3ff491d14613dd27655abdd","ref":"refs/heads/add-social-info","pushedAt":"2023-10-14T14:23:30.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":"GitHub Discussion には説明を追加する","shortMessageHtmlLink":"GitHub Discussion には説明を追加する"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaFZTPwA","startCursor":null,"endCursor":null}},"title":"Activity · lean-ja/lean-ja.github.io"}