{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":670254139,"defaultBranch":"main","name":"mathreason","ownerLogin":"axiomtutor","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-24T16:20:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/27108390?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1690555219.0","currentOid":""},"activityList":{"items":[{"before":"6601ce9f31c26ebdc88d48d9f629972975753f18","after":"8ea3c761888acb46a2dc3c0a484393f6c7f5d16c","ref":"refs/heads/main","pushedAt":"2023-08-11T13:11:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"clean","shortMessageHtmlLink":"clean"}},{"before":"919717b5a4a6050498fafefd83652bbe023eab3b","after":"6601ce9f31c26ebdc88d48d9f629972975753f18","ref":"refs/heads/main","pushedAt":"2023-08-07T19:09:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"fix parse trees","shortMessageHtmlLink":"fix parse trees"}},{"before":"bb8f14787a16890852dc6975d30f9a45400a559f","after":"919717b5a4a6050498fafefd83652bbe023eab3b","ref":"refs/heads/main","pushedAt":"2023-08-02T16:03:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"965bd1259fc079234c0a61f89c8f3c9725774b97","after":"bb8f14787a16890852dc6975d30f9a45400a559f","ref":"refs/heads/main","pushedAt":"2023-08-02T15:58:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"partitioning","shortMessageHtmlLink":"partitioning"}},{"before":"68f7ce4e854da3dfa8f46afbd8c79be4c0b297b2","after":"965bd1259fc079234c0a61f89c8f3c9725774b97","ref":"refs/heads/main","pushedAt":"2023-08-02T15:02:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"reloc","shortMessageHtmlLink":"reloc"}},{"before":"82563e9455066322dbd8865e150e65912a20d66d","after":"68f7ce4e854da3dfa8f46afbd8c79be4c0b297b2","ref":"refs/heads/main","pushedAt":"2023-08-02T13:57:25.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"2ff6eff1bc85e0a7b70a40506cf193734575e991","after":"82563e9455066322dbd8865e150e65912a20d66d","ref":"refs/heads/main","pushedAt":"2023-08-02T13:40:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"updated gitignore","shortMessageHtmlLink":"updated gitignore"}},{"before":"a5f6f59076dd58a650dd4c6801d0a006b84b4d36","after":"2ff6eff1bc85e0a7b70a40506cf193734575e991","ref":"refs/heads/main","pushedAt":"2023-08-01T14:56:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"sync","shortMessageHtmlLink":"sync"}},{"before":"9b0d089eb5fb083f47ce81a185191843b6c32d3e","after":"a5f6f59076dd58a650dd4c6801d0a006b84b4d36","ref":"refs/heads/main","pushedAt":"2023-07-30T18:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"fol","shortMessageHtmlLink":"fol"}},{"before":"245a7f4f0f89341c113a5cf089123a0d1c7c217b","after":"9b0d089eb5fb083f47ce81a185191843b6c32d3e","ref":"refs/heads/main","pushedAt":"2023-07-30T00:10:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"quant","shortMessageHtmlLink":"quant"}},{"before":"7cd4bce5c392d5d3ad0bb4525ee397ed9a659143","after":"245a7f4f0f89341c113a5cf089123a0d1c7c217b","ref":"refs/heads/main","pushedAt":"2023-07-29T23:32:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"multiple quantifiers","shortMessageHtmlLink":"multiple quantifiers"}},{"before":"202862101d2b74d8b12eb3e0848eccd66abed6f0","after":"7cd4bce5c392d5d3ad0bb4525ee397ed9a659143","ref":"refs/heads/main","pushedAt":"2023-07-29T02:55:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"quant init","shortMessageHtmlLink":"quant init"}},{"before":"ef4082952424dbd13b10d075f00b1f666e627fc3","after":"202862101d2b74d8b12eb3e0848eccd66abed6f0","ref":"refs/heads/main","pushedAt":"2023-07-29T01:37:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"structures","shortMessageHtmlLink":"structures"}},{"before":"ca6ed917049a0f5ebddf7d95a33208e7c06b20b4","after":"ef4082952424dbd13b10d075f00b1f666e627fc3","ref":"refs/heads/main","pushedAt":"2023-07-28T23:09:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"struct","shortMessageHtmlLink":"struct"}},{"before":"4c7797719354798922ff3cf6c367c7d968f2414f","after":"ca6ed917049a0f5ebddf7d95a33208e7c06b20b4","ref":"refs/heads/main","pushedAt":"2023-07-28T22:53:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"relations structures","shortMessageHtmlLink":"relations structures"}},{"before":"cba49bbc2802208ed5d7e55a52a60ee2c44772e6","after":"4c7797719354798922ff3cf6c367c7d968f2414f","ref":"refs/heads/main","pushedAt":"2023-07-28T21:53:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"remove misc","shortMessageHtmlLink":"remove misc"}},{"before":"51713a8bf2fe68b9d740e38b84e36a9e9269047d","after":"1631e6cb13e0fa2c8318c6949a7469381fd85603","ref":"refs/heads/creating_fol","pushedAt":"2023-07-28T20:00:17.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Update ancient_greek.qmd","shortMessageHtmlLink":"Update ancient_greek.qmd"}},{"before":"f09f06421312b6fa930183e1a9ca8e2cc2440fc2","after":"cba49bbc2802208ed5d7e55a52a60ee2c44772e6","ref":"refs/heads/main","pushedAt":"2023-07-28T19:59:27.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"anysprout","name":null,"path":"/anysprout","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/116700770?s=80&v=4"},"commit":{"message":"Merge pull request #30 from anysprout/main\n\nundoing changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827023236\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/30/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/30\">#30</a> from anysprout/main"}},{"before":"d4cc4f364d2b8e2e8700bfd4633ff064570dca03","after":"f09f06421312b6fa930183e1a9ca8e2cc2440fc2","ref":"refs/heads/main","pushedAt":"2023-07-28T19:53:17.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #29 from axiomtutor/master\n\nMaster","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827016766\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/29/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/29\">#29</a> from axiomtutor/master"}},{"before":"de62dc03dde745bae69d88b9e74113a4ba4b8b90","after":"1631e6cb13e0fa2c8318c6949a7469381fd85603","ref":"refs/heads/master","pushedAt":"2023-07-28T19:52:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Update ancient_greek.qmd","shortMessageHtmlLink":"Update ancient_greek.qmd"}},{"before":"f792f7c72d5e5b9ceb2650cba09cfacfec3c3e4d","after":"de62dc03dde745bae69d88b9e74113a4ba4b8b90","ref":"refs/heads/master","pushedAt":"2023-07-28T19:51:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Update pred.qmd","shortMessageHtmlLink":"Update pred.qmd"}},{"before":"e45f82018ce5c63e2e80c8a2439ed9a897f09c4c","after":"d4cc4f364d2b8e2e8700bfd4633ff064570dca03","ref":"refs/heads/main","pushedAt":"2023-07-28T19:48:45.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #28 from anysprout/main\n\ndeleted sprout folder","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827009232\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/28/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/28\">#28</a> from anysprout/main"}},{"before":"0e2f5a491138e940d334d8be1c484c3d2d247c05","after":"e45f82018ce5c63e2e80c8a2439ed9a897f09c4c","ref":"refs/heads/main","pushedAt":"2023-07-28T19:44:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #27 from axiomtutor/master\n\nMerge pull request #26 from axiomtutor/main","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827005420\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/27/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/27\">#27</a> from axiomtutor/master"}},{"before":"b26e8d5f04efcfd2b92f6ab99f6f6aeee86de90e","after":"f792f7c72d5e5b9ceb2650cba09cfacfec3c3e4d","ref":"refs/heads/master","pushedAt":"2023-07-28T19:44:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #26 from axiomtutor/main\n\nMerge pull request #25 from axiomtutor/master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827004540\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/26/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/26\">#26</a> from axiomtutor/main"}},{"before":"261126b6110e7898a264ad9686a0895ae1575c05","after":"0e2f5a491138e940d334d8be1c484c3d2d247c05","ref":"refs/heads/main","pushedAt":"2023-07-28T19:43:06.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #25 from axiomtutor/master\n\nMaster","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827003605\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/25\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/25/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/25\">#25</a> from axiomtutor/master"}},{"before":"aa62efa2fffdb6440b138734bbaca1253544871f","after":"b26e8d5f04efcfd2b92f6ab99f6f6aeee86de90e","ref":"refs/heads/master","pushedAt":"2023-07-28T19:42:59.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge branch 'main' into master","shortMessageHtmlLink":"Merge branch 'main' into master"}},{"before":"711d612c94f90e57e45863be689e592a06ddbef0","after":"aa62efa2fffdb6440b138734bbaca1253544871f","ref":"refs/heads/master","pushedAt":"2023-07-28T19:38:39.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #24 from anysprout/master\n\nMaster","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1826999708\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/24/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/24\">#24</a> from anysprout/master"}},{"before":"8004d113944262f46e6f6c48cfb14363f7a4643b","after":"261126b6110e7898a264ad9686a0895ae1575c05","ref":"refs/heads/main","pushedAt":"2023-07-28T19:36:58.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Merge pull request #23 from anysprout/main\n\nline 23","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1826995627\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/23/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/23\">#23</a> from anysprout/main"}},{"before":"0300ecc5c4aebd12d70c65dff9cd30b52213250d","after":"8004d113944262f46e6f6c48cfb14363f7a4643b","ref":"refs/heads/main","pushedAt":"2023-07-28T19:32:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"axiomtutor","name":"Adam Frank","path":"/axiomtutor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27108390?s=80&v=4"},"commit":{"message":"Update miscNotes.txt","shortMessageHtmlLink":"Update miscNotes.txt"}},{"before":"3ce9a1e76627b30b0906d3b32c30ea575047b6f5","after":"0300ecc5c4aebd12d70c65dff9cd30b52213250d","ref":"refs/heads/main","pushedAt":"2023-07-28T19:26:28.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"anysprout","name":null,"path":"/anysprout","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/116700770?s=80&v=4"},"commit":{"message":"Merge pull request #22 from anysprout/main\n\nundoing changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1826987053\" data-permission-text=\"Title is private\" data-url=\"https://github.com/axiomtutor/mathreason/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/axiomtutor/mathreason/pull/22/hovercard\" href=\"https://github.com/axiomtutor/mathreason/pull/22\">#22</a> from anysprout/main"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xMVQxMzoxMTo1NC4wMDAwMDBazwAAAANo3X1i","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xMVQxMzoxMTo1NC4wMDAwMDBazwAAAANo3X1i","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0yOFQxOToyNjoyOC4wMDAwMDBazwAAAANfdFGA"}},"title":"Activity · axiomtutor/mathreason"}