{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":559170361,"defaultBranch":"main","name":"mathlib","ownerLogin":"kana800","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-29T09:22:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/64830745?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1687100751.174635","currentOid":""},"activityList":{"items":[{"before":"2ac919a711977c2fc7bdf8b05c2181e34735869f","after":"3af68fea71886153842389c7956cc3f4071405c1","ref":"refs/heads/main","pushedAt":"2024-01-06T14:58:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"changed the naming conventions; everything is lowercase now","shortMessageHtmlLink":"changed the naming conventions; everything is lowercase now"}},{"before":"a637436c8150c7894fbf4758a07e715f8e3cc092","after":"2ac919a711977c2fc7bdf8b05c2181e34735869f","ref":"refs/heads/main","pushedAt":"2023-12-11T15:36:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"updated repo","shortMessageHtmlLink":"updated repo"}},{"before":"e83a530fb06fa70d7f7e231e78f6e46cdab372a6","after":"a637436c8150c7894fbf4758a07e715f8e3cc092","ref":"refs/heads/main","pushedAt":"2023-11-11T14:07:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added simd functionality for addition and substraction","shortMessageHtmlLink":"added simd functionality for addition and substraction"}},{"before":"6146eade940d7c6f20e4334113f7986d798d206d","after":"e83a530fb06fa70d7f7e231e78f6e46cdab372a6","ref":"refs/heads/main","pushedAt":"2023-11-11T08:44:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"removed trig lib","shortMessageHtmlLink":"removed trig lib"}},{"before":"cade4f1331589f7cdab508bbc1c9117a76676e4d","after":"6146eade940d7c6f20e4334113f7986d798d206d","ref":"refs/heads/main","pushedAt":"2023-10-30T05:13:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"updated repo","shortMessageHtmlLink":"updated repo"}},{"before":"f4ad2e6b9cdb2449c6028d81c54f518a73f034f8","after":"cade4f1331589f7cdab508bbc1c9117a76676e4d","ref":"refs/heads/main","pushedAt":"2023-10-29T12:18:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed mattest","shortMessageHtmlLink":"fixed mattest"}},{"before":"4897d905a38f06744d47c6c8299ac15b7a9bbe46","after":"f4ad2e6b9cdb2449c6028d81c54f518a73f034f8","ref":"refs/heads/main","pushedAt":"2023-10-28T08:01:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"updated repo","shortMessageHtmlLink":"updated repo"}},{"before":"197e2844b565950aa9726b19cbb68bcdac9fec8d","after":"4897d905a38f06744d47c6c8299ac15b7a9bbe46","ref":"refs/heads/main","pushedAt":"2023-10-18T17:21:30.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"moved from wiki to docs folder","shortMessageHtmlLink":"moved from wiki to docs folder"}},{"before":"a9c4d5cc87792d3cc3997295a8ab5261ab054df8","after":"197e2844b565950aa9726b19cbb68bcdac9fec8d","ref":"refs/heads/main","pushedAt":"2023-09-03T15:04:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"removed coord lib","shortMessageHtmlLink":"removed coord lib"}},{"before":"1f7bab761c8f18481471f19b64ab8f5fb5ec78ee","after":"a9c4d5cc87792d3cc3997295a8ab5261ab054df8","ref":"refs/heads/main","pushedAt":"2023-08-07T13:39:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"removed pylib","shortMessageHtmlLink":"removed pylib"}},{"before":"82478546aba56dcfef79f0678bce67b44db9b7b6","after":"1f7bab761c8f18481471f19b64ab8f5fb5ec78ee","ref":"refs/heads/main","pushedAt":"2023-06-18T16:06:53.256Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"removed trig and coord build","shortMessageHtmlLink":"removed trig and coord build"}},{"before":"afbe93d28c7634e297457697a27ee33b325ed2f4","after":null,"ref":"refs/heads/matlib","pushedAt":"2023-06-18T15:05:51.174Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"}},{"before":"1a1aeecd10b289401d861064354aa7963e28bdc0","after":"82478546aba56dcfef79f0678bce67b44db9b7b6","ref":"refs/heads/main","pushedAt":"2023-05-07T06:28:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed issues","shortMessageHtmlLink":"fixed issues"}},{"before":"7f91924f3b2aa9c013e8fd2ee426869e76a2d717","after":"1a1aeecd10b289401d861064354aa7963e28bdc0","ref":"refs/heads/main","pushedAt":"2023-05-02T17:10:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed findPivotPoint","shortMessageHtmlLink":"fixed findPivotPoint"}},{"before":"378852a21f422f6bcdc79519310ac6365427a9ad","after":"7f91924f3b2aa9c013e8fd2ee426869e76a2d717","ref":"refs/heads/main","pushedAt":"2023-04-28T17:26:30.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added getcol and getrow","shortMessageHtmlLink":"added getcol and getrow"}},{"before":"f4fce88b3b24cb2841a58755907321ef7706a602","after":"378852a21f422f6bcdc79519310ac6365427a9ad","ref":"refs/heads/main","pushedAt":"2023-04-25T12:36:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed test cases","shortMessageHtmlLink":"fixed test cases"}},{"before":"bb09dd975edddf7657be73f24c1b3cd6f876b023","after":"f4fce88b3b24cb2841a58755907321ef7706a602","ref":"refs/heads/main","pushedAt":"2023-04-24T14:14:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed most testcases","shortMessageHtmlLink":"fixed most testcases"}},{"before":"f4627f54517826461c2faa9c90373cae254698b7","after":"bb09dd975edddf7657be73f24c1b3cd6f876b023","ref":"refs/heads/main","pushedAt":"2023-04-23T15:47:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added findingpivotvariables","shortMessageHtmlLink":"added findingpivotvariables"}},{"before":"ee64a7932b014f20c0acba9eb3ad15f3a155e29f","after":"f4627f54517826461c2faa9c90373cae254698b7","ref":"refs/heads/main","pushedAt":"2023-04-22T07:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"implementation of pivot variables","shortMessageHtmlLink":"implementation of pivot variables"}},{"before":"9c114918c1e4a1811eadd2f28a81007fe2d53c21","after":"ee64a7932b014f20c0acba9eb3ad15f3a155e29f","ref":"refs/heads/main","pushedAt":"2023-04-20T17:55:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added lower tri matrix and upper tri matrix","shortMessageHtmlLink":"added lower tri matrix and upper tri matrix"}},{"before":"91f164bbf03df689b2dac7b44300cbfb7caf5082","after":"9c114918c1e4a1811eadd2f28a81007fe2d53c21","ref":"refs/heads/main","pushedAt":"2023-04-17T16:04:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added some test cases","shortMessageHtmlLink":"added some test cases"}},{"before":"2a9d96ab2f5ae9032d58331c4f2fefa154bcffb2","after":"91f164bbf03df689b2dac7b44300cbfb7caf5082","ref":"refs/heads/main","pushedAt":"2023-04-13T14:35:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"fixed some test cases","shortMessageHtmlLink":"fixed some test cases"}},{"before":"c4afbcec362669e0100220fb31d2ec9f0f0ee7be","after":"2a9d96ab2f5ae9032d58331c4f2fefa154bcffb2","ref":"refs/heads/main","pushedAt":"2023-04-09T13:29:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"changes in augmented matrices","shortMessageHtmlLink":"changes in augmented matrices"}},{"before":"ae5d757db703b36c5e348e8eb7ad4ecc54dc0563","after":"c4afbcec362669e0100220fb31d2ec9f0f0ee7be","ref":"refs/heads/main","pushedAt":"2023-04-07T17:24:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"started working on augmented matrices","shortMessageHtmlLink":"started working on augmented matrices"}},{"before":"c30e239082136320a55d1b8650aab1885201a15c","after":"ae5d757db703b36c5e348e8eb7ad4ecc54dc0563","ref":"refs/heads/main","pushedAt":"2023-03-24T12:21:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"made matrix into header library","shortMessageHtmlLink":"made matrix into header library"}},{"before":"a10775d2d6d74a970193f709542df07841300b72","after":"c30e239082136320a55d1b8650aab1885201a15c","ref":"refs/heads/main","pushedAt":"2023-03-23T18:26:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added anew module","shortMessageHtmlLink":"added anew module"}},{"before":"161ae933b26d5c81440966ff583c5ec0d78cf867","after":"a10775d2d6d74a970193f709542df07841300b72","ref":"refs/heads/main","pushedAt":"2023-03-20T17:56:22.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"Merge pull request #14 from kana800/matlib\n\nrewriting the matlib library","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1617768728\" data-permission-text=\"Title is private\" data-url=\"https://github.com/kana800/mathlib/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/kana800/mathlib/pull/14/hovercard\" href=\"https://github.com/kana800/mathlib/pull/14\">#14</a> from kana800/matlib"}},{"before":"7ad2dce89fe41370db613ba6218c2bdc2d420749","after":"afbe93d28c7634e297457697a27ee33b325ed2f4","ref":"refs/heads/matlib","pushedAt":"2023-03-20T17:56:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"changes","shortMessageHtmlLink":"changes"}},{"before":"ddcd96051e9c6e65c6595e851168be2af5d6dca8","after":"161ae933b26d5c81440966ff583c5ec0d78cf867","ref":"refs/heads/main","pushedAt":"2023-03-20T17:55:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"changes","shortMessageHtmlLink":"changes"}},{"before":"511b5c69136208986e8b08560e9f69f083cf9b0c","after":"7ad2dce89fe41370db613ba6218c2bdc2d420749","ref":"refs/heads/matlib","pushedAt":"2023-03-19T10:41:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kana800","name":"kanna ","path":"/kana800","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/64830745?s=80&v=4"},"commit":{"message":"added getcol testcases","shortMessageHtmlLink":"added getcol testcases"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wNlQxNDo1ODoxNC4wMDAwMDBazwAAAAPZPXLG","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wNlQxNDo1ODoxNC4wMDAwMDBazwAAAAPZPXLG","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0xOVQxMDo0MTo0My4wMDAwMDBazwAAAAMGiedX"}},"title":"Activity · kana800/mathlib"}