{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":268013514,"defaultBranch":"master","name":"lean-ga","ownerLogin":"pygae","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-30T05:10:40.000Z","ownerAvatar":"https://github.com/avatars/u/33729520?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1689885115.0","currentOid":""},"activityList":{"items":[{"before":"a7708f1a8aa4a58fd313ea52a101cb92e97d227f","after":"8b59e0065df32afdc710ae8d3d13bee66600a3ee","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-10-25T15:12:15.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"Merge branch 'master' into eric-wieser/tensor_base_change","shortMessageHtmlLink":"Merge branch 'master' into eric-wieser/tensor_base_change"}},{"before":"55110dd53ae81a737489ebf1cc5a3f41f18135e0","after":"a7708f1a8aa4a58fd313ea52a101cb92e97d227f","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-10-25T15:11:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"Add mathlib link","shortMessageHtmlLink":"Add mathlib link"}},{"before":"1c32c44c881b6c413b98559afabded6028e17833","after":"b54cddaf2b4a76976602671f7dfd140263046829","ref":"refs/heads/blueprint","pushedAt":"2023-08-25T05:13:05.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"utensil","name":"Utensil","path":"/utensil","primaryAvatarUrl":"https://github.com/avatars/u/64258?s=80&v=4"},"commit":{"message":"Minor fixes for Clifford algebra definitions","shortMessageHtmlLink":"Minor fixes for Clifford algebra definitions"}},{"before":"3a06d0505ef88047a93b59958a45c59eb2a83b67","after":"0947a6d21cf5a724732c29dabbc7f543edb66d4e","ref":"refs/heads/master","pushedAt":"2023-08-20T12:50:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"sorry-free","shortMessageHtmlLink":"sorry-free"}},{"before":"5a4d578666cdff64bce0ce12c0316986187597e0","after":"3a06d0505ef88047a93b59958a45c59eb2a83b67","ref":"refs/heads/master","pushedAt":"2023-08-20T11:47:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"expand the laurents example","shortMessageHtmlLink":"expand the laurents example"}},{"before":"88af79f6292cb43635caf25b7f8b13cffcaf82b8","after":"55110dd53ae81a737489ebf1cc5a3f41f18135e0","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-08-04T11:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"tweak","shortMessageHtmlLink":"tweak"}},{"before":"f6e5a6f246ae7e22243d689779cb5e32dfa27d5e","after":"88af79f6292cb43635caf25b7f8b13cffcaf82b8","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-08-04T11:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"missing file","shortMessageHtmlLink":"missing file"}},{"before":"c65cc7bd2d9e6abba28655ca63c1799f8bdae98c","after":"f6e5a6f246ae7e22243d689779cb5e32dfa27d5e","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-08-04T11:19:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"fix docstrings","shortMessageHtmlLink":"fix docstrings"}},{"before":"f7917e3af7006fcf527c469754caa26a943c90e5","after":"c65cc7bd2d9e6abba28655ca63c1799f8bdae98c","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-08-04T08:54:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"complexification of reverse is also trivial\n\nBut not trivially proven!","shortMessageHtmlLink":"complexification of reverse is also trivial"}},{"before":"69a38ce19721229f5d55178d790668be2d6030d8","after":"f7917e3af7006fcf527c469754caa26a943c90e5","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-08-03T20:56:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"involution lemma","shortMessageHtmlLink":"involution lemma"}},{"before":"7657a75d5b33879ee9c768694b65b9a78e450e40","after":"5a4d578666cdff64bce0ce12c0316986187597e0","ref":"refs/heads/master","pushedAt":"2023-07-28T18:30:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"add the exterior algebra functor too for good measure","shortMessageHtmlLink":"add the exterior algebra functor too for good measure"}},{"before":"57042230559b27c3adb6f7ce298bc50c6419c78f","after":"7657a75d5b33879ee9c768694b65b9a78e450e40","ref":"refs/heads/master","pushedAt":"2023-07-27T13:26:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"add terminal object","shortMessageHtmlLink":"add terminal object"}},{"before":"a5c2656a7e926c9dae644c1234150b2d0ca46972","after":"57042230559b27c3adb6f7ce298bc50c6419c78f","ref":"refs/heads/master","pushedAt":"2023-07-27T12:23:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"fix build error","shortMessageHtmlLink":"fix build error"}},{"before":"f92f012da17f0ad1e6f2ec2ed5c212609ac33d69","after":"a5c2656a7e926c9dae644c1234150b2d0ca46972","ref":"refs/heads/master","pushedAt":"2023-07-23T13:45:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"semilinearity","shortMessageHtmlLink":"semilinearity"}},{"before":"2c96457b60941cc1bd52022bba9b79faf6121b7d","after":"f92f012da17f0ad1e6f2ec2ed5c212609ac33d69","ref":"refs/heads/master","pushedAt":"2023-07-22T11:17:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"fix crash","shortMessageHtmlLink":"fix crash"}},{"before":"f60556e8644b8ef13abe786a1dc674da34d01599","after":"69a38ce19721229f5d55178d790668be2d6030d8","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-22T10:22:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"generalize","shortMessageHtmlLink":"generalize"}},{"before":"b1e7844696777ddb720f0e1580629a8481804664","after":"f60556e8644b8ef13abe786a1dc674da34d01599","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T22:34:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"docstrings","shortMessageHtmlLink":"docstrings"}},{"before":"7f5385cb78c5e7458e4c906841ca22e320e6cee4","after":"b1e7844696777ddb720f0e1580629a8481804664","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T22:12:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"fully sorry-free!","shortMessageHtmlLink":"fully sorry-free!"}},{"before":"4b908e6af93e0a27fa9b10868ca3249b09f9334f","after":"7f5385cb78c5e7458e4c906841ca22e320e6cee4","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T13:59:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"one remains, but it's false","shortMessageHtmlLink":"one remains, but it's false"}},{"before":"05c387fc7d0ecbacc255b4c6739edb7170fa245e","after":"4b908e6af93e0a27fa9b10868ca3249b09f9334f","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T13:37:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"banish another sorry","shortMessageHtmlLink":"banish another sorry"}},{"before":"ca143e9d5bf18e50d87285c59b30ab05b1bc9ebb","after":"05c387fc7d0ecbacc255b4c6739edb7170fa245e","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T10:07:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"docstrings","shortMessageHtmlLink":"docstrings"}},{"before":"cd4499a5e30736d3d5d4e4cd52a3149e50fecf9e","after":"ca143e9d5bf18e50d87285c59b30ab05b1bc9ebb","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T01:45:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"finally done","shortMessageHtmlLink":"finally done"}},{"before":"2dfeb3c60298210caa707cb21c4142ea406b1822","after":"cd4499a5e30736d3d5d4e4cd52a3149e50fecf9e","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-21T01:11:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"so close","shortMessageHtmlLink":"so close"}},{"before":"5a584b97ad9361eb3d204e83fd3f49ed8768fff7","after":"2dfeb3c60298210caa707cb21c4142ea406b1822","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T22:54:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"done","shortMessageHtmlLink":"done"}},{"before":"cc355b99017fb664d6a4273afcd70f1f99dc2103","after":"5a584b97ad9361eb3d204e83fd3f49ed8768fff7","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T22:36:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"tidy","shortMessageHtmlLink":"tidy"}},{"before":"44c306e4a25d83a54568687dda768dbda7affe67","after":"cc355b99017fb664d6a4273afcd70f1f99dc2103","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T22:35:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"oops","shortMessageHtmlLink":"oops"}},{"before":"1290423aa7cc509bd6f621d073736746e025d444","after":"44c306e4a25d83a54568687dda768dbda7affe67","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T22:33:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"complexify","shortMessageHtmlLink":"complexify"}},{"before":"ebf7e8705af944757289f844686860e34af323c0","after":"1290423aa7cc509bd6f621d073736746e025d444","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T22:28:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"all but tensor^3_comm","shortMessageHtmlLink":"all but tensor^3_comm"}},{"before":"da87b80035bac86c56efbdbfdabf3606d70c3b90","after":"ebf7e8705af944757289f844686860e34af323c0","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T21:59:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"9c82583ea08c95e49c330dd39cf8a9a4eaa3c014","after":"da87b80035bac86c56efbdbfdabf3606d70c3b90","ref":"refs/heads/eric-wieser/tensor_base_change","pushedAt":"2023-07-20T21:58:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"eric-wieser","name":"Eric Wieser","path":"/eric-wieser","primaryAvatarUrl":"https://github.com/avatars/u/425260?s=80&v=4"},"commit":{"message":"rid","shortMessageHtmlLink":"rid"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADn5myhAA","startCursor":null,"endCursor":null}},"title":"Activity · pygae/lean-ga"}