{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":261611026,"defaultBranch":"master","name":"mathematics_in_lean","ownerLogin":"avigad","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-05-06T00:09:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2783534?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1685411069.18138","currentOid":""},"activityList":{"items":[{"before":"14e951b41c7803a1ab3683bc02e61f7f201f58ea","after":"bb59a3b966127efdb919e0dff6e4d27f9e3eba02","ref":"refs/heads/gh-pages","pushedAt":"2024-01-19T17:58:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 19 Jan 2024 12:58:44 PM EST","shortMessageHtmlLink":"Update Fri 19 Jan 2024 12:58:44 PM EST"}},{"before":"580c4cb177630bb13232b90587b1416594949482","after":"758e6b5b3da834cdcb8158a5b29ec75551bd1c00","ref":"refs/heads/master","pushedAt":"2024-01-19T17:58:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 19 Jan 2024 12:58:42 PM EST","shortMessageHtmlLink":"Update Fri 19 Jan 2024 12:58:42 PM EST"}},{"before":"fea5443d717ea416c4b838e2361b130b949ce02e","after":"14e951b41c7803a1ab3683bc02e61f7f201f58ea","ref":"refs/heads/gh-pages","pushedAt":"2023-12-16T21:09:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 16 Dec 2023 04:09:57 PM EST","shortMessageHtmlLink":"Update Sat 16 Dec 2023 04:09:57 PM EST"}},{"before":"a10f0ac8a8bf1b1aafcbff24954c483bc9554ed2","after":"580c4cb177630bb13232b90587b1416594949482","ref":"refs/heads/master","pushedAt":"2023-12-16T21:09:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 16 Dec 2023 04:09:56 PM EST","shortMessageHtmlLink":"Update Sat 16 Dec 2023 04:09:56 PM EST"}},{"before":"f4cde598d9695ab8f7fef7a90e5fb51d42b39a8b","after":"fea5443d717ea416c4b838e2361b130b949ce02e","ref":"refs/heads/gh-pages","pushedAt":"2023-12-16T21:04:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 16 Dec 2023 04:04:06 PM EST","shortMessageHtmlLink":"Update Sat 16 Dec 2023 04:04:06 PM EST"}},{"before":"ff0eacd915d8c7feaf76f10d6bf349cebb2ec545","after":"a10f0ac8a8bf1b1aafcbff24954c483bc9554ed2","ref":"refs/heads/master","pushedAt":"2023-12-16T21:04:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 16 Dec 2023 04:04:05 PM EST","shortMessageHtmlLink":"Update Sat 16 Dec 2023 04:04:05 PM EST"}},{"before":"7a317c698efb9804d058f7b0492eeb286d1f2aaa","after":"f4cde598d9695ab8f7fef7a90e5fb51d42b39a8b","ref":"refs/heads/gh-pages","pushedAt":"2023-10-22T18:50:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 22 Oct 2023 02:50:14 PM EDT","shortMessageHtmlLink":"Update Sun 22 Oct 2023 02:50:14 PM EDT"}},{"before":"6b6139d65f0e9c846a4307a9085f9dba05e0063b","after":"ff0eacd915d8c7feaf76f10d6bf349cebb2ec545","ref":"refs/heads/master","pushedAt":"2023-10-22T18:50:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 22 Oct 2023 02:50:12 PM EDT","shortMessageHtmlLink":"Update Sun 22 Oct 2023 02:50:12 PM EDT"}},{"before":"c588afd4ee4db08dfc3c3deca3cec868083dc4d1","after":"7a317c698efb9804d058f7b0492eeb286d1f2aaa","ref":"refs/heads/gh-pages","pushedAt":"2023-08-26T20:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 26 Aug 2023 04:12:25 PM EDT","shortMessageHtmlLink":"Update Sat 26 Aug 2023 04:12:25 PM EDT"}},{"before":"03be027300f7c8c8735b1818c6a67678118fb1b9","after":"6b6139d65f0e9c846a4307a9085f9dba05e0063b","ref":"refs/heads/master","pushedAt":"2023-08-26T20:12:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sat 26 Aug 2023 04:12:23 PM EDT","shortMessageHtmlLink":"Update Sat 26 Aug 2023 04:12:23 PM EDT"}},{"before":"09dc95893af4f6756f47dc954fa8d96e59f9a147","after":"c588afd4ee4db08dfc3c3deca3cec868083dc4d1","ref":"refs/heads/gh-pages","pushedAt":"2023-08-11T21:45:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 11 Aug 2023 05:45:29 PM EDT","shortMessageHtmlLink":"Update Fri 11 Aug 2023 05:45:29 PM EDT"}},{"before":"02ce881a9cb5368b2a859bffb1f4abbfb58bc892","after":"03be027300f7c8c8735b1818c6a67678118fb1b9","ref":"refs/heads/master","pushedAt":"2023-08-11T21:45:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 11 Aug 2023 05:45:27 PM EDT","shortMessageHtmlLink":"Update Fri 11 Aug 2023 05:45:27 PM EDT"}},{"before":"be63b2ec5eb48ca26a55480bf29b3cad9c585db8","after":"09dc95893af4f6756f47dc954fa8d96e59f9a147","ref":"refs/heads/gh-pages","pushedAt":"2023-07-28T00:35:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Thu 27 Jul 2023 08:35:07 PM EDT","shortMessageHtmlLink":"Update Thu 27 Jul 2023 08:35:07 PM EDT"}},{"before":"a0920b3e42c92892fdc0eaddcf3d403ce2488376","after":"02ce881a9cb5368b2a859bffb1f4abbfb58bc892","ref":"refs/heads/master","pushedAt":"2023-07-28T00:35:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Thu 27 Jul 2023 08:35:05 PM EDT","shortMessageHtmlLink":"Update Thu 27 Jul 2023 08:35:05 PM EDT"}},{"before":"00b3d2b318a0887d73a81f0a29f9589cb9ed6203","after":"be63b2ec5eb48ca26a55480bf29b3cad9c585db8","ref":"refs/heads/gh-pages","pushedAt":"2023-07-19T18:51:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Wed 19 Jul 2023 02:51:27 PM EDT","shortMessageHtmlLink":"Update Wed 19 Jul 2023 02:51:27 PM EDT"}},{"before":"2a10c57d25f517e157e5d58835b90bd17650ea89","after":"a0920b3e42c92892fdc0eaddcf3d403ce2488376","ref":"refs/heads/master","pushedAt":"2023-07-19T18:51:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Wed 19 Jul 2023 02:51:26 PM EDT","shortMessageHtmlLink":"Update Wed 19 Jul 2023 02:51:26 PM EDT"}},{"before":"f48f4d8c75f9e28ab6fc250336b8fe83ad0b0cc1","after":"00b3d2b318a0887d73a81f0a29f9589cb9ed6203","ref":"refs/heads/gh-pages","pushedAt":"2023-07-19T18:44:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Wed 19 Jul 2023 02:44:00 PM EDT","shortMessageHtmlLink":"Update Wed 19 Jul 2023 02:44:00 PM EDT"}},{"before":"b2fff806e851a06cf0598d0c6150e75e33cfe4e7","after":"2a10c57d25f517e157e5d58835b90bd17650ea89","ref":"refs/heads/master","pushedAt":"2023-07-19T18:44:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Wed 19 Jul 2023 02:43:59 PM EDT","shortMessageHtmlLink":"Update Wed 19 Jul 2023 02:43:59 PM EDT"}},{"before":"c91f347f0f0930c838539625f3b422c91251860b","after":"f48f4d8c75f9e28ab6fc250336b8fe83ad0b0cc1","ref":"refs/heads/gh-pages","pushedAt":"2023-07-18T01:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Mon 17 Jul 2023 09:24:55 PM EDT","shortMessageHtmlLink":"Update Mon 17 Jul 2023 09:24:55 PM EDT"}},{"before":"b2814b367a59def74dba2f1860d3c7eab62dd633","after":"b2fff806e851a06cf0598d0c6150e75e33cfe4e7","ref":"refs/heads/master","pushedAt":"2023-07-18T01:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Mon 17 Jul 2023 09:24:53 PM EDT","shortMessageHtmlLink":"Update Mon 17 Jul 2023 09:24:53 PM EDT"}},{"before":"32d1b98db5343ac503c4278c4bc1ebc80ad93126","after":"c91f347f0f0930c838539625f3b422c91251860b","ref":"refs/heads/gh-pages","pushedAt":"2023-07-10T01:17:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 09 Jul 2023 09:17:16 PM EDT","shortMessageHtmlLink":"Update Sun 09 Jul 2023 09:17:16 PM EDT"}},{"before":"7e036f6c067288261feae8e3b2802ff896f7039b","after":"b2814b367a59def74dba2f1860d3c7eab62dd633","ref":"refs/heads/master","pushedAt":"2023-07-10T01:17:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 09 Jul 2023 09:17:15 PM EDT","shortMessageHtmlLink":"Update Sun 09 Jul 2023 09:17:15 PM EDT"}},{"before":"aea88a4f8af7fa0db05db510ff2665f8d076a085","after":"32d1b98db5343ac503c4278c4bc1ebc80ad93126","ref":"refs/heads/gh-pages","pushedAt":"2023-07-07T21:12:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 07 Jul 2023 05:12:51 PM EDT","shortMessageHtmlLink":"Update Fri 07 Jul 2023 05:12:51 PM EDT"}},{"before":"e1f6439f11f458b1f3dcffc016299bd7ed876ea1","after":"7e036f6c067288261feae8e3b2802ff896f7039b","ref":"refs/heads/master","pushedAt":"2023-07-07T21:12:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 07 Jul 2023 05:12:49 PM EDT","shortMessageHtmlLink":"Update Fri 07 Jul 2023 05:12:49 PM EDT"}},{"before":"dcaf41a3c695233e497bead0bf4eb25c954a440b","after":"aea88a4f8af7fa0db05db510ff2665f8d076a085","ref":"refs/heads/gh-pages","pushedAt":"2023-07-07T17:53:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 07 Jul 2023 01:53:43 PM EDT","shortMessageHtmlLink":"Update Fri 07 Jul 2023 01:53:43 PM EDT"}},{"before":"e9f518fe153d7c149f7b2397be8434f6530e690b","after":"e1f6439f11f458b1f3dcffc016299bd7ed876ea1","ref":"refs/heads/master","pushedAt":"2023-07-07T17:53:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Fri 07 Jul 2023 01:53:40 PM EDT","shortMessageHtmlLink":"Update Fri 07 Jul 2023 01:53:40 PM EDT"}},{"before":"1dee257755c58f98977254f7ad93bbb09a9a5def","after":"dcaf41a3c695233e497bead0bf4eb25c954a440b","ref":"refs/heads/gh-pages","pushedAt":"2023-06-25T20:16:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 25 Jun 2023 04:16:33 PM EDT","shortMessageHtmlLink":"Update Sun 25 Jun 2023 04:16:33 PM EDT"}},{"before":"75422a09f82bf311913a237153bdef6882e151e6","after":"e9f518fe153d7c149f7b2397be8434f6530e690b","ref":"refs/heads/master","pushedAt":"2023-06-25T20:16:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Sun 25 Jun 2023 04:16:29 PM EDT","shortMessageHtmlLink":"Update Sun 25 Jun 2023 04:16:29 PM EDT"}},{"before":"055fcde07aad8fde3a4d81b3f16f8159207e0f92","after":"1dee257755c58f98977254f7ad93bbb09a9a5def","ref":"refs/heads/gh-pages","pushedAt":"2023-06-16T02:09:15.260Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Thu, Jun 15, 2023  7:09:13 PM","shortMessageHtmlLink":"Update Thu, Jun 15, 2023 7:09:13 PM"}},{"before":"715f84330d68cff80f6dc0ac468041cd66c92ff1","after":"75422a09f82bf311913a237153bdef6882e151e6","ref":"refs/heads/master","pushedAt":"2023-06-16T02:09:12.287Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Thu, Jun 15, 2023  7:09:11 PM","shortMessageHtmlLink":"Update Thu, Jun 15, 2023 7:09:11 PM"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD5DuyKgA","startCursor":null,"endCursor":null}},"title":"Activity · avigad/mathematics_in_lean"}