{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":259961115,"defaultBranch":"master","name":"mathlib_stats","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-04-29T15:13:36.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1594029579.0","currentOid":""},"activityList":{"items":[{"before":"13c53c0f1a214e40359c9d0b6e6b10e89f6a6433","after":"72776bf16ee89ed35b3b4ad11cd9000b5e0e91e3","ref":"refs/heads/master","pushedAt":"2024-09-09T02:25: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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"590dbda2a6db58ea10887c439f9cd6cdea5a42e9","after":"13c53c0f1a214e40359c9d0b6e6b10e89f6a6433","ref":"refs/heads/master","pushedAt":"2024-09-08T02:26:32.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"41eb8d160219b02a6be4a2aa7ec98e473aee50ba","after":"590dbda2a6db58ea10887c439f9cd6cdea5a42e9","ref":"refs/heads/master","pushedAt":"2024-09-07T02:21:02.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"856c530dd4ac7ebe78046de262999262f0a5436f","after":"41eb8d160219b02a6be4a2aa7ec98e473aee50ba","ref":"refs/heads/master","pushedAt":"2024-09-06T02:22:45.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"8a8b3443b8b47814a3f459acdb48935e70f0d5be","after":"856c530dd4ac7ebe78046de262999262f0a5436f","ref":"refs/heads/master","pushedAt":"2024-09-05T02:22:49.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"e97ea8fa61cb187d374503759af57941c4d6563d","after":"8a8b3443b8b47814a3f459acdb48935e70f0d5be","ref":"refs/heads/master","pushedAt":"2024-09-04T02:22:27.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"6eb2183cc73e7b1dacdf8b44985936117f5571fb","after":"e97ea8fa61cb187d374503759af57941c4d6563d","ref":"refs/heads/master","pushedAt":"2024-09-03T02:21:34.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"19e0de8239019d80d593167f0d8ee92925a7e7cc","after":"6eb2183cc73e7b1dacdf8b44985936117f5571fb","ref":"refs/heads/master","pushedAt":"2024-09-02T02:24:22.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"c98abb730fa746877b04ee84b56d155a7425271b","after":"19e0de8239019d80d593167f0d8ee92925a7e7cc","ref":"refs/heads/master","pushedAt":"2024-09-01T02:29:22.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"11b0ec83ef9f7116732fe5c82c566feeafd97336","after":"c98abb730fa746877b04ee84b56d155a7425271b","ref":"refs/heads/master","pushedAt":"2024-08-31T02:21:24.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"f45db3b48a51a09fda3925d41ed29325a0ff08d0","after":"11b0ec83ef9f7116732fe5c82c566feeafd97336","ref":"refs/heads/master","pushedAt":"2024-08-30T02:22:29.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"a906b6474b0c0274960bd7d311e8cfb472480ae1","after":"f45db3b48a51a09fda3925d41ed29325a0ff08d0","ref":"refs/heads/master","pushedAt":"2024-08-29T02:21:38.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"40b2baf7894f94548ee6aa80674b244bf895fa66","after":"a906b6474b0c0274960bd7d311e8cfb472480ae1","ref":"refs/heads/master","pushedAt":"2024-08-28T02:20:54.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"58056276ebd550845aebbe6bf7e1bb51bb502273","after":"40b2baf7894f94548ee6aa80674b244bf895fa66","ref":"refs/heads/master","pushedAt":"2024-08-27T02:20:01.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"8155f977b1214f2986d6408122ab6619b9a12290","after":"58056276ebd550845aebbe6bf7e1bb51bb502273","ref":"refs/heads/master","pushedAt":"2024-08-26T02:19: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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"cd5b17de4769cdfc164174a41020b4e0037a4ce1","after":"8155f977b1214f2986d6408122ab6619b9a12290","ref":"refs/heads/master","pushedAt":"2024-08-25T02:22:45.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"a9895a317e2befadf4d280dfbc901fdb55c3eac8","after":"cd5b17de4769cdfc164174a41020b4e0037a4ce1","ref":"refs/heads/master","pushedAt":"2024-08-24T02:18:47.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"562c40f97d4ec71fe8e8ab2b7ea1ac1538e2e256","after":"a9895a317e2befadf4d280dfbc901fdb55c3eac8","ref":"refs/heads/master","pushedAt":"2024-08-23T02:19:23.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"781fc5ba286a51091de00a5fa268975ace7b59d1","after":"562c40f97d4ec71fe8e8ab2b7ea1ac1538e2e256","ref":"refs/heads/master","pushedAt":"2024-08-22T02:19:37.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"47a33ecc7eb57d4721a82c3799cded97ae23deea","after":"781fc5ba286a51091de00a5fa268975ace7b59d1","ref":"refs/heads/master","pushedAt":"2024-08-21T02:18:48.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"e4b91f76e0d3451f0c2df976ef2420074b4dd061","after":"47a33ecc7eb57d4721a82c3799cded97ae23deea","ref":"refs/heads/master","pushedAt":"2024-08-20T02:18:41.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"d7b32b873ab9306f207694fb5d18b7f9b19a41c7","after":"e4b91f76e0d3451f0c2df976ef2420074b4dd061","ref":"refs/heads/master","pushedAt":"2024-08-19T02:19:51.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"08237f78652f72af2731c3306a3b90e640d1bdf6","after":"d7b32b873ab9306f207694fb5d18b7f9b19a41c7","ref":"refs/heads/master","pushedAt":"2024-08-18T02:20:20.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"10e1d255bc9a6ad46e8bba7b39a7350819b5d3fd","after":"08237f78652f72af2731c3306a3b90e640d1bdf6","ref":"refs/heads/master","pushedAt":"2024-08-17T02:17:29.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"39cbf45d18e30bafdbac44a415d7e5f3ca823bea","after":"10e1d255bc9a6ad46e8bba7b39a7350819b5d3fd","ref":"refs/heads/master","pushedAt":"2024-08-16T02:18:33.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"1379e517ca1f01aab6b46363a1b43a2667941887","after":"39cbf45d18e30bafdbac44a415d7e5f3ca823bea","ref":"refs/heads/master","pushedAt":"2024-08-15T02:16:11.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"e94f42d93199403d864d9df0b2ff3348212692c6","after":"1379e517ca1f01aab6b46363a1b43a2667941887","ref":"refs/heads/master","pushedAt":"2024-08-14T02:18:53.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"f7c31b661f478972ff3247182e65a21b7f060726","after":"e94f42d93199403d864d9df0b2ff3348212692c6","ref":"refs/heads/master","pushedAt":"2024-08-13T02:19: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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"f492762cb90dbe2e2d51da2e502daab007700bcf","after":"f7c31b661f478972ff3247182e65a21b7f060726","ref":"refs/heads/master","pushedAt":"2024-08-12T02:20:07.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}},{"before":"e82ce02e428a14951e08c2716b724c4e54f5279d","after":"f492762cb90dbe2e2d51da2e502daab007700bcf","ref":"refs/heads/master","pushedAt":"2024-08-11T02:22:01.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":"Update gitstats","shortMessageHtmlLink":"Update gitstats"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEsGc6HAA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/mathlib_stats"}