{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":332598355,"defaultBranch":"main","name":"mathlore-content","ownerLogin":"mathlingua","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-25T01:30:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/119841938?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1615540120.705643","currentOid":""},"activityList":{"items":[{"before":"0c32f582cf70baad0d2d021aa56a09fbad33eac5","after":"e326993fc5ebed6fbc6bd0d5ae6f4e6d349f323a","ref":"refs/heads/main","pushedAt":"2024-08-17T19:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"fix a typo in rendering a set","shortMessageHtmlLink":"fix a typo in rendering a set"}},{"before":"8fa860b5e7fb82c7e08659d6b1ef02f8eedff5f0","after":"0c32f582cf70baad0d2d021aa56a09fbad33eac5","ref":"refs/heads/main","pushedAt":"2024-08-13T00:34:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use new syntax","shortMessageHtmlLink":"use new syntax"}},{"before":"195205f062e8d1b5588d0e6582d8f203a5c225f3","after":"8fa860b5e7fb82c7e08659d6b1ef02f8eedff5f0","ref":"refs/heads/main","pushedAt":"2024-06-06T06:16:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update the definition of function","shortMessageHtmlLink":"update the definition of function"}},{"before":"25b2e366b238b2c1c787ad32e729397b0a93028c","after":"195205f062e8d1b5588d0e6582d8f203a5c225f3","ref":"refs/heads/main","pushedAt":"2024-05-11T23:31:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update the function definition","shortMessageHtmlLink":"update the function definition"}},{"before":"63317ed62d3cab67ce8d0cc19af3b68ea6b575e4","after":"25b2e366b238b2c1c787ad32e729397b0a93028c","ref":"refs/heads/main","pushedAt":"2024-05-07T05:50:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update to use the new syntax","shortMessageHtmlLink":"update to use the new syntax"}},{"before":"9aac8a0100533f7cd05ae0e43ff684afd2973594","after":"63317ed62d3cab67ce8d0cc19af3b68ea6b575e4","ref":"refs/heads/main","pushedAt":"2024-05-02T03:46:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"fix `mlg check` errors","shortMessageHtmlLink":"fix <code>mlg check</code> errors"}},{"before":"66076e4b3454372f99a9dbe234a5d0bae27b35a0","after":"9aac8a0100533f7cd05ae0e43ff684afd2973594","ref":"refs/heads/main","pushedAt":"2024-02-15T03:31:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update the definition of a function","shortMessageHtmlLink":"update the definition of a function"}},{"before":"97760e194ebcb636613b128036f411c79f51b256","after":"66076e4b3454372f99a9dbe234a5d0bae27b35a0","ref":"refs/heads/main","pushedAt":"2024-02-05T00:01:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update to use the new syntax","shortMessageHtmlLink":"update to use the new syntax"}},{"before":"ae96acdde5a6224558c788aa9fe6a06a2041d4de","after":"97760e194ebcb636613b128036f411c79f51b256","ref":"refs/heads/main","pushedAt":"2023-12-27T07:05:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update to use the new syntax","shortMessageHtmlLink":"update to use the new syntax"}},{"before":"96bcd903feefa9b308884fe8bc563295420ac267","after":"ae96acdde5a6224558c788aa9fe6a06a2041d4de","ref":"refs/heads/main","pushedAt":"2023-12-12T06:58:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use new syntax","shortMessageHtmlLink":"use new syntax"}},{"before":"132205b984787ea76aceb9316f3d85fd0df3df9e","after":"96bcd903feefa9b308884fe8bc563295420ac267","ref":"refs/heads/main","pushedAt":"2023-12-12T06:44:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use \\\\formulation{}","shortMessageHtmlLink":"use \\\\formulation{}"}},{"before":"fc446c147cc6d3fd0ff13756ab21a9b702f09caf","after":"132205b984787ea76aceb9316f3d85fd0df3df9e","ref":"refs/heads/main","pushedAt":"2023-08-28T01:57:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"remove the documentation directory","shortMessageHtmlLink":"remove the documentation directory"}},{"before":"10b0383fe3dc12d7c220e24d5eb6185dce7f75cc","after":"fc446c147cc6d3fd0ff13756ab21a9b702f09caf","ref":"refs/heads/main","pushedAt":"2023-08-24T05:37:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add integers, rationals, and relations","shortMessageHtmlLink":"add integers, rationals, and relations"}},{"before":"a63c614e7ee91a03fa54eeea9c28e9529690a5d7","after":"10b0383fe3dc12d7c220e24d5eb6185dce7f75cc","ref":"refs/heads/main","pushedAt":"2023-08-21T06:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add more algebra content","shortMessageHtmlLink":"add more algebra content"}},{"before":"a4106ebadc3fe8b4f031edc863208eb3f911dd60","after":"a63c614e7ee91a03fa54eeea9c28e9529690a5d7","ref":"refs/heads/main","pushedAt":"2023-08-11T05:44:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use ring and ring with identity instead of rng and ring","shortMessageHtmlLink":"use ring and ring with identity instead of rng and ring"}},{"before":"c686035327170fdd593e73c335857c15394b5ecb","after":"a4106ebadc3fe8b4f031edc863208eb3f911dd60","ref":"refs/heads/main","pushedAt":"2023-08-11T05:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"snapshot of updates","shortMessageHtmlLink":"snapshot of updates"}},{"before":"12b402edd99b66364146db717037a855d0d209cf","after":"c686035327170fdd593e73c335857c15394b5ecb","ref":"refs/heads/main","pushedAt":"2023-07-23T17:00:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update algebra","shortMessageHtmlLink":"update algebra"}},{"before":"cb30355ca83bb41dfdac2e75b11a817b31c09963","after":"12b402edd99b66364146db717037a855d0d209cf","ref":"refs/heads/main","pushedAt":"2023-07-15T22:07:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add quasigroup to algebra.math","shortMessageHtmlLink":"add quasigroup to algebra.math"}},{"before":"6172f7f8310bf625e99a92065579b39a2b1a46f7","after":"cb30355ca83bb41dfdac2e75b11a817b31c09963","ref":"refs/heads/main","pushedAt":"2023-07-09T02:47:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use ... syntax for set construction","shortMessageHtmlLink":"use ... syntax for set construction"}},{"before":"8950095d49143ae0d902431245de3969772ace13","after":"6172f7f8310bf625e99a92065579b39a2b1a46f7","ref":"refs/heads/main","pushedAt":"2023-06-18T05:48:58.642Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"use ::<id> syntax","shortMessageHtmlLink":"use ::&lt;id&gt; syntax"}},{"before":"255771939b5c1241ccc95a201ea9bd04c0f8872f","after":"8950095d49143ae0d902431245de3969772ace13","ref":"refs/heads/main","pushedAt":"2023-05-29T22:34:59.515Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"fix the definition of \\set","shortMessageHtmlLink":"fix the definition of \\set"}},{"before":"2b7d45a3ecb7031604036672d2d2df07f31bc5e0","after":"255771939b5c1241ccc95a201ea9bd04c0f8872f","ref":"refs/heads/main","pushedAt":"2023-05-29T20:49:25.918Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add more set definitions","shortMessageHtmlLink":"add more set definitions"}},{"before":"6cf9b8081bbc032d791ad7831f1cf2c585a0986c","after":"2b7d45a3ecb7031604036672d2d2df07f31bc5e0","ref":"refs/heads/main","pushedAt":"2023-05-28T22:56:25.757Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add logic, natural, and set definitions","shortMessageHtmlLink":"add logic, natural, and set definitions"}},{"before":"6eabe82dc5f9318e8b6ca3f63ddacd6b52addd01","after":"6cf9b8081bbc032d791ad7831f1cf2c585a0986c","ref":"refs/heads/main","pushedAt":"2023-05-27T22:07:44.944Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"restructure the files","shortMessageHtmlLink":"restructure the files"}},{"before":"e93df468899b1ef4f4c22b3dbd2dec6d9363b017","after":"6eabe82dc5f9318e8b6ca3f63ddacd6b52addd01","ref":"refs/heads/main","pushedAt":"2023-05-21T07:22:02.673Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add * = keep to toc.conf","shortMessageHtmlLink":"add * = keep to toc.conf"}},{"before":"27aea99f6694af4262f2f34c4e7039016e0a58ef","after":"e93df468899b1ef4f4c22b3dbd2dec6d9363b017","ref":"refs/heads/main","pushedAt":"2023-05-20T23:55:22.940Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update is statements to use &","shortMessageHtmlLink":"update is statements to use &amp;"}},{"before":"a782917763cb94aac2d3ed5e9a99c8ba0c095e57","after":"27aea99f6694af4262f2f34c4e7039016e0a58ef","ref":"refs/heads/main","pushedAt":"2023-05-20T03:33:21.523Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"fixed mlg check errors and added table of contents","shortMessageHtmlLink":"fixed mlg check errors and added table of contents"}},{"before":"65eb859099aa2833087d8704420f54eff6623cc2","after":"a782917763cb94aac2d3ed5e9a99c8ba0c095e57","ref":"refs/heads/main","pushedAt":"2023-04-30T01:03:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:mathlingua/codex","shortMessageHtmlLink":"Merge branch 'main' of github.com:mathlingua/codex"}},{"before":"384baf049df2d6967c05ca32c124c8ba483bd7b8","after":"65eb859099aa2833087d8704420f54eff6623cc2","ref":"refs/heads/main","pushedAt":"2023-04-27T04:08:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"update written form","shortMessageHtmlLink":"update written form"}},{"before":"1e1174d576a3581f8cfc5cd31213e2b23ce895e8","after":"384baf049df2d6967c05ca32c124c8ba483bd7b8","ref":"refs/heads/main","pushedAt":"2023-04-03T07:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DominicKramer","name":"Dominic Kramer","path":"/DominicKramer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14253877?s=80&v=4"},"commit":{"message":"add function information","shortMessageHtmlLink":"add function information"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xN1QxOToyMjo0Mi4wMDAwMDBazwAAAASc9gg3","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0wM1QwNzozNDo1OC4wMDAwMDBazwAAAAMQxdxl"}},"title":"Activity · mathlingua/mathlore-content"}