{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":421021216,"defaultBranch":"master","name":"flt-regular","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-25T12:48:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721657935.0","currentOid":""},"activityList":{"items":[{"before":"85e46f5e18856cc13195e3cc9d6774ba95487d03","after":"8fd4f5e448ea0da32694b95404cc166c227a8c61","ref":"refs/heads/master","pushedAt":"2024-09-17T07:57:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"a557f175d3d81e2ddc551d68c50787ad3c5a151e","after":"85e46f5e18856cc13195e3cc9d6774ba95487d03","ref":"refs/heads/master","pushedAt":"2024-09-13T06:50:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"d689fc5947457f74115074746a16b8017de95214","after":"a557f175d3d81e2ddc551d68c50787ad3c5a151e","ref":"refs/heads/master","pushedAt":"2024-09-12T13:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"this never ends","shortMessageHtmlLink":"this never ends"}},{"before":"12bf9e63df54f5c2b8f35406d6d50b3d94ee0d55","after":"d689fc5947457f74115074746a16b8017de95214","ref":"refs/heads/master","pushedAt":"2024-09-12T12:59:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"again","shortMessageHtmlLink":"again"}},{"before":"9297e9004c6821e339860584f4a934ab404dac18","after":"12bf9e63df54f5c2b8f35406d6d50b3d94ee0d55","ref":"refs/heads/master","pushedAt":"2024-09-12T12:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"please stop","shortMessageHtmlLink":"please stop"}},{"before":"908443eafd02b4be92ffa5a0d05d8a709d1183ac","after":"9297e9004c6821e339860584f4a934ab404dac18","ref":"refs/heads/master","pushedAt":"2024-09-12T12:07:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"even better","shortMessageHtmlLink":"even better"}},{"before":"4dd47c63a0e2fdac48327dea4e6d520c1ade115c","after":"908443eafd02b4be92ffa5a0d05d8a709d1183ac","ref":"refs/heads/master","pushedAt":"2024-09-12T12:02:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"nicer","shortMessageHtmlLink":"nicer"}},{"before":"403baca54f9ab3328a35826d11d1f2d75fb60535","after":"4dd47c63a0e2fdac48327dea4e6d520c1ade115c","ref":"refs/heads/master","pushedAt":"2024-09-12T11:19:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better variable name","shortMessageHtmlLink":"better variable name"}},{"before":"8ee136e677323b9496d3fc7a8203cd975fc0908b","after":"403baca54f9ab3328a35826d11d1f2d75fb60535","ref":"refs/heads/master","pushedAt":"2024-09-12T10:01:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better names","shortMessageHtmlLink":"better names"}},{"before":"8cf14be32a97235305176b47edc3fe2c2f615c9e","after":"8ee136e677323b9496d3fc7a8203cd975fc0908b","ref":"refs/heads/master","pushedAt":"2024-09-12T08:10:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better name","shortMessageHtmlLink":"better name"}},{"before":"1988fdada4d1d2ae34dfc06f2f81f478901774a4","after":"8cf14be32a97235305176b47edc3fe2c2f615c9e","ref":"refs/heads/master","pushedAt":"2024-09-11T15:27:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"long line","shortMessageHtmlLink":"long line"}},{"before":"fe3c43bd42613253e328ee00dbddbbf525d895cb","after":"1988fdada4d1d2ae34dfc06f2f81f478901774a4","ref":"refs/heads/master","pushedAt":"2024-09-11T15:07:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better doc","shortMessageHtmlLink":"better doc"}},{"before":"9c0eac958ba4a9c734058b03e5b7b53df456b909","after":"fe3c43bd42613253e328ee00dbddbbf525d895cb","ref":"refs/heads/master","pushedAt":"2024-09-11T10:28:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"190acb749ced800c047ab935acdf874286441095","after":"9c0eac958ba4a9c734058b03e5b7b53df456b909","ref":"refs/heads/master","pushedAt":"2024-09-10T08:54:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"eb68f8ff8fe30ac27102d0e94aadb59e2d4eba9d","after":"190acb749ced800c047ab935acdf874286441095","ref":"refs/heads/master","pushedAt":"2024-09-09T16:30:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"nicer","shortMessageHtmlLink":"nicer"}},{"before":"2a65e917c8b4e519c824c3f34f8440441b52d682","after":"eb68f8ff8fe30ac27102d0e94aadb59e2d4eba9d","ref":"refs/heads/master","pushedAt":"2024-09-09T16:27:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"why not","shortMessageHtmlLink":"why not"}},{"before":"8a49bb7ba95ef99e164785273c4c146248443966","after":"2a65e917c8b4e519c824c3f34f8440441b52d682","ref":"refs/heads/master","pushedAt":"2024-09-07T05:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"3ed02a8947d7e67856a351a4a7704bc3b9d087c7","after":"8a49bb7ba95ef99e164785273c4c146248443966","ref":"refs/heads/master","pushedAt":"2024-08-13T02:55:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"aa6888fde3dadf0bda68f3b0f1207b9a15fc7e7c","after":"3ed02a8947d7e67856a351a4a7704bc3b9d087c7","ref":"refs/heads/master","pushedAt":"2024-08-11T09:08:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"07d90cbf8efd862e03c7a5f4a7d29b2b1a53a23b","after":"aa6888fde3dadf0bda68f3b0f1207b9a15fc7e7c","ref":"refs/heads/master","pushedAt":"2024-08-04T07:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"22f39e89c263c4b908fe13cf598592770a4401f1","after":"07d90cbf8efd862e03c7a5f4a7d29b2b1a53a23b","ref":"refs/heads/master","pushedAt":"2024-08-01T08:22:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"09e83023f0ff9035fd475c1b4e8883019b9daea5","after":"22f39e89c263c4b908fe13cf598592770a4401f1","ref":"refs/heads/master","pushedAt":"2024-07-31T10:20:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CBirkbeck","name":"Chris Birkbeck","path":"/CBirkbeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56166236?s=80&v=4"},"commit":{"message":"Reapply \"Merge branch 'master' of https://github.com/leanprover-community/flt-regular\"\n\nThis reverts commit 09e83023f0ff9035fd475c1b4e8883019b9daea5.","shortMessageHtmlLink":"Reapply \"Merge branch 'master' of <a href=\"https://github.com/leanprover-community/flt-regular\">https://github.com/leanprover-commu…</a>"}},{"before":"0309e0855ce7ee70839bca588e5f8764f7f5cc0a","after":"09e83023f0ff9035fd475c1b4e8883019b9daea5","ref":"refs/heads/master","pushedAt":"2024-07-31T10:19:49.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"CBirkbeck","name":"Chris Birkbeck","path":"/CBirkbeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56166236?s=80&v=4"},"commit":{"message":"Revert \"Merge branch 'master' of https://github.com/leanprover-community/flt-regular\"\n\nThis reverts commit aa9aed236b5cdad118bae47cd48518df5d6b5cfa, reversing\nchanges made to ccd9c38137e9926281f6497013e8b8661b8935eb.","shortMessageHtmlLink":"Revert \"Merge branch 'master' of <a href=\"https://github.com/leanprover-community/flt-regular\">https://github.com/leanprover-commun…</a>"}},{"before":"ccd9c38137e9926281f6497013e8b8661b8935eb","after":"0309e0855ce7ee70839bca588e5f8764f7f5cc0a","ref":"refs/heads/master","pushedAt":"2024-07-31T10:18:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"09e83023f0ff9035fd475c1b4e8883019b9daea5","after":"ccd9c38137e9926281f6497013e8b8661b8935eb","ref":"refs/heads/master","pushedAt":"2024-07-31T10:14:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"comments on Hilbert 92 proof","shortMessageHtmlLink":"comments on Hilbert 92 proof"}},{"before":"aa9aed236b5cdad118bae47cd48518df5d6b5cfa","after":"09e83023f0ff9035fd475c1b4e8883019b9daea5","ref":"refs/heads/master","pushedAt":"2024-07-31T10:10:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CBirkbeck","name":"Chris Birkbeck","path":"/CBirkbeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56166236?s=80&v=4"},"commit":{"message":"Revert \"Merge branch 'master' of https://github.com/leanprover-community/flt-regular\"\n\nThis reverts commit aa9aed236b5cdad118bae47cd48518df5d6b5cfa, reversing\nchanges made to ccd9c38137e9926281f6497013e8b8661b8935eb.","shortMessageHtmlLink":"Revert \"Merge branch 'master' of <a href=\"https://github.com/leanprover-community/flt-regular\">https://github.com/leanprover-commun…</a>"}},{"before":"0309e0855ce7ee70839bca588e5f8764f7f5cc0a","after":"aa9aed236b5cdad118bae47cd48518df5d6b5cfa","ref":"refs/heads/master","pushedAt":"2024-07-31T09:50:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"CBirkbeck","name":"Chris Birkbeck","path":"/CBirkbeck","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/56166236?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/leanprover-community/flt-regular","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/leanprover-community/flt-regular\">https://github.com/leanprover-community/flt-…</a>"}},{"before":"015f73f6dce75243afbdf6131c0d5113b2a82cb3","after":"0309e0855ce7ee70839bca588e5f8764f7f5cc0a","ref":"refs/heads/master","pushedAt":"2024-07-31T09:03:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"53e3a939e4cbad1219417ea1d655f5920bf0ec2a","after":"015f73f6dce75243afbdf6131c0d5113b2a82cb3","ref":"refs/heads/master","pushedAt":"2024-07-31T08:36:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better name","shortMessageHtmlLink":"better name"}},{"before":"0628d47c0ef2e743017af63f6e7a14c3351617a3","after":"53e3a939e4cbad1219417ea1d655f5920bf0ec2a","ref":"refs/heads/master","pushedAt":"2024-07-26T12:49:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwNzo1NzoxNC4wMDAwMDBazwAAAAS4Pj85","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QwNzo1NzoxNC4wMDAwMDBazwAAAAS4Pj85","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yNlQxMjo0OTo1OC4wMDAwMDBazwAAAASKB-FP"}},"title":"Activity · leanprover-community/flt-regular"}