{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":186169342,"defaultBranch":"master","name":"mathlib-tools","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-05-11T18:37:57.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1693335551.0","currentOid":""},"activityList":{"items":[{"before":"952e4d4c3ba9a031c1877787c0001f960716c7c5","after":null,"ref":"refs/heads/dependabot/pip/certifi-2023.7.22","pushedAt":"2023-08-29T18:59:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"5de7fe96d10eaebdf5a832a4815c0ef8a3f66e75","after":null,"ref":"refs/heads/dependabot/pip/gitpython-3.1.32","pushedAt":"2023-08-29T18:59:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"7112036ecb03de03153074a81ceedbb5b692e811","after":"23f16313a659674570ed5bc25f339be027a0c5b4","ref":"refs/heads/master","pushedAt":"2023-08-29T18:53:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Obsolete tool warning.","shortMessageHtmlLink":"Obsolete tool warning."}},{"before":null,"after":"5de7fe96d10eaebdf5a832a4815c0ef8a3f66e75","ref":"refs/heads/dependabot/pip/gitpython-3.1.32","pushedAt":"2023-08-11T20:24:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump gitpython from 3.1.30 to 3.1.32\n\nBumps [gitpython](https://github.com/gitpython-developers/GitPython) from 3.1.30 to 3.1.32.\n- [Release notes](https://github.com/gitpython-developers/GitPython/releases)\n- [Changelog](https://github.com/gitpython-developers/GitPython/blob/main/CHANGES)\n- [Commits](https://github.com/gitpython-developers/GitPython/compare/3.1.30...3.1.32)\n\n---\nupdated-dependencies:\n- dependency-name: gitpython\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump gitpython from 3.1.30 to 3.1.32"}},{"before":null,"after":"952e4d4c3ba9a031c1877787c0001f960716c7c5","ref":"refs/heads/dependabot/pip/certifi-2023.7.22","pushedAt":"2023-07-25T21:02:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump certifi from 2022.12.7 to 2023.7.22\n\nBumps [certifi](https://github.com/certifi/python-certifi) from 2022.12.7 to 2023.7.22.\n- [Commits](https://github.com/certifi/python-certifi/compare/2022.12.07...2023.07.22)\n\n---\nupdated-dependencies:\n- dependency-name: certifi\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump certifi from 2022.12.7 to 2023.7.22"}},{"before":"2604a1e448515794018bda29c249372933662106","after":"7112036ecb03de03153074a81ceedbb5b692e811","ref":"refs/heads/master","pushedAt":"2023-06-27T08:44:39.757Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"fix counting progress","shortMessageHtmlLink":"fix counting progress"}},{"before":"cfbd955acf2aae28f0acb9e665990054cc33a516","after":"2604a1e448515794018bda29c249372933662106","ref":"refs/heads/master","pushedAt":"2023-06-27T08:24:10.709Z","pushType":"push","commitsCount":1,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"oops, wrong fix for -7","shortMessageHtmlLink":"oops, wrong fix for -7"}},{"before":null,"after":"97acf011f0642b4aa0fd3d551e03294284b442cd","ref":"refs/heads/dependabot/pip/requests-2.31.0","pushedAt":"2023-05-23T01:27:48.565Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"build(deps): bump requests from 2.25.1 to 2.31.0\n\nBumps [requests](https://github.com/psf/requests) from 2.25.1 to 2.31.0.\n- [Release notes](https://github.com/psf/requests/releases)\n- [Changelog](https://github.com/psf/requests/blob/main/HISTORY.md)\n- [Commits](https://github.com/psf/requests/compare/v2.25.1...v2.31.0)\n\n---\nupdated-dependencies:\n- dependency-name: requests\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"build(deps): bump requests from 2.25.1 to 2.31.0"}},{"before":"be578948a4a67456764f21554a94948ee52902ee","after":"cfbd955acf2aae28f0acb9e665990054cc33a516","ref":"refs/heads/master","pushedAt":"2023-05-22T16:25:38.327Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"feat: --port-complete flag to list completely ported files","shortMessageHtmlLink":"feat: --port-complete flag to list completely ported files"}},{"before":"873f4947664fe62055c51fd0d749a615d5df98dc","after":"be578948a4a67456764f21554a94948ee52902ee","ref":"refs/heads/master","pushedAt":"2023-05-22T16:25:25.165Z","pushType":"push","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Fix tests","shortMessageHtmlLink":"Fix tests"}},{"before":null,"after":"f3723a32b324927df9cf275193f7a636b5478a50","ref":"refs/heads/port-complete","pushedAt":"2023-05-22T12:26:37.889Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"semorrison","name":"Kim Morrison","path":"/semorrison","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/477956?s=80&v=4"},"commit":{"message":"feat: --port-complete flag to list completely ported files","shortMessageHtmlLink":"feat: --port-complete flag to list completely ported files"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADdSd9GwA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/mathlib-tools"}