{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":676159004,"defaultBranch":"master","name":"mathematics_in_lean_old","ownerLogin":"Seasawher","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-08-08T15:02:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/47292598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1691506931.945345","currentOid":""},"activityList":{"items":[{"before":"4adb6be4b2a853b5d824f75a4f77869ca1696026","after":"ba9f02bd3c177416ff55a19b35bb714e6ac68732","ref":"refs/heads/master","pushedAt":"2023-09-10T10:26: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":"Basic/01 Calculating を途中まで進める","shortMessageHtmlLink":"Basic/01 Calculating を途中まで進める"}},{"before":"a7c22a6a05f9115320ab6ec66aad98ac3f3c43a1","after":"4adb6be4b2a853b5d824f75a4f77869ca1696026","ref":"refs/heads/master","pushedAt":"2023-08-24T11:13:08.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":"PDFの削除","shortMessageHtmlLink":"PDFの削除"}},{"before":"19bff43483e961e531dc9f0ebccb38fc57e0eb09","after":"a7c22a6a05f9115320ab6ec66aad98ac3f3c43a1","ref":"refs/heads/master","pushedAt":"2023-08-23T09:42:55.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":"gitpod用のDockerfileをdevcontainerでも使用する","shortMessageHtmlLink":"gitpod用のDockerfileをdevcontainerでも使用する"}},{"before":"24490140633ebb60f34647a9c9a557b9406b74ec","after":"19bff43483e961e531dc9f0ebccb38fc57e0eb09","ref":"refs/heads/master","pushedAt":"2023-08-20T09:06:00.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":"daf79aeb97b1045806be01b4f66b218e2600dd4a","after":"24490140633ebb60f34647a9c9a557b9406b74ec","ref":"refs/heads/master","pushedAt":"2023-08-20T08:23:25.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":"Copilot 使用","shortMessageHtmlLink":"Copilot 使用"}},{"before":"06d6c1836b9f1022865455ead592d3331961c75f","after":"daf79aeb97b1045806be01b4f66b218e2600dd4a","ref":"refs/heads/master","pushedAt":"2023-08-17T06:56:03.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":"sample code","shortMessageHtmlLink":"sample code"}},{"before":"3a7e3632923c8b2488156e7d049e305aa172d632","after":"06d6c1836b9f1022865455ead592d3331961c75f","ref":"refs/heads/master","pushedAt":"2023-08-16T17:38:19.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":"C04_Sets_and_Functions","shortMessageHtmlLink":"C04_Sets_and_Functions"}},{"before":"72bfc5f978568946de56bf9dfe7976e28ad95843","after":"3a7e3632923c8b2488156e7d049e305aa172d632","ref":"refs/heads/master","pushedAt":"2023-08-16T17:18:48.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":"S01_Sets","shortMessageHtmlLink":"S01_Sets"}},{"before":"c5860d22180194cab057064f41143494299e42d6","after":"72bfc5f978568946de56bf9dfe7976e28ad95843","ref":"refs/heads/master","pushedAt":"2023-08-16T17:05:34.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":"devcontainer の設定を追加","shortMessageHtmlLink":"devcontainer の設定を追加"}},{"before":"2626303ac2b21f20ec6f4ed2f0325c65409cb617","after":"c5860d22180194cab057064f41143494299e42d6","ref":"refs/heads/master","pushedAt":"2023-08-16T09:12:30.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":"convergeToAdd","shortMessageHtmlLink":"convergeToAdd"}},{"before":"aa5bb085ad560a01cb10a88f56b5f824d16390f0","after":"2626303ac2b21f20ec6f4ed2f0325c65409cb617","ref":"refs/heads/master","pushedAt":"2023-08-16T08:33:48.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":"Using","shortMessageHtmlLink":"Using"}},{"before":"49c20a405daacee9f9271155388f1be5f6ba8f39","after":"aa5bb085ad560a01cb10a88f56b5f824d16390f0","ref":"refs/heads/master","pushedAt":"2023-08-16T08:16:25.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":"C02_Basics","shortMessageHtmlLink":"C02_Basics"}},{"before":"f525252091702c6d7621623632dccf45627710d5","after":"49c20a405daacee9f9271155388f1be5f6ba8f39","ref":"refs/heads/master","pushedAt":"2023-08-15T07:17: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":"Update Fri 11 Aug 2023 05:49:22 PM EDT","shortMessageHtmlLink":"Update Fri 11 Aug 2023 05:49:22 PM EDT"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADfS3k1gA","startCursor":null,"endCursor":null}},"title":"Activity · Seasawher/mathematics_in_lean_old"}