{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":623015644,"defaultBranch":"master","name":"lean-groebner","ownerLogin":"Hagb","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-03T14:20:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10961094?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1681024641.0","currentOid":""},"activityList":{"items":[{"before":"c8583c6f70223ca422157ff4a0845cf9dd2ec300","after":"103e362b2f2b902c449f1eedef691a7363ce25ff","ref":"refs/heads/master","pushedAt":"2023-06-15T18:38:38.426Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update deps","shortMessageHtmlLink":"Update deps"}},{"before":"b996c9311b8d34944d7ccc81fd1f0cde4261782d","after":"c8583c6f70223ca422157ff4a0845cf9dd2ec300","ref":"refs/heads/master","pushedAt":"2023-06-10T13:21:14.074Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Correct the url of zulip topic","shortMessageHtmlLink":"Correct the url of zulip topic"}},{"before":"14cc54d8e56131233403e10d0ed697f3e520b2f8","after":"b996c9311b8d34944d7ccc81fd1f0cde4261782d","ref":"refs/heads/master","pushedAt":"2023-06-10T13:19:53.499Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add TODO (refactor)","shortMessageHtmlLink":"Add TODO (refactor)"}},{"before":"cfdebfe17eace306132a2371f197166faea761d4","after":"14cc54d8e56131233403e10d0ed697f3e520b2f8","ref":"refs/heads/master","pushedAt":"2023-06-08T17:24:35.706Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add TODO (remove `multideg'`)","shortMessageHtmlLink":"Add TODO (remove <code>multideg'</code>)"}},{"before":"85c3df3faea744c46b4b17c2ba6e37ec9122439b","after":"cfdebfe17eace306132a2371f197166faea761d4","ref":"refs/heads/master","pushedAt":"2023-06-08T17:23:26.201Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add TODO (remove `multideg\\'`)","shortMessageHtmlLink":"Add TODO (remove <code>multideg\\'</code>)"}},{"before":"17e3898aa85e08dfb40789a506030bd73f169ee1","after":"85c3df3faea744c46b4b17c2ba6e37ec9122439b","ref":"refs/heads/master","pushedAt":"2023-06-08T17:15:24.183Z","pushType":"push","commitsCount":2,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add `groebner_basis_def`","shortMessageHtmlLink":"Add <code>groebner_basis_def</code>"}},{"before":"a1ffda0c5221bc7ec8e4899166cc8e1121af22f9","after":"17e3898aa85e08dfb40789a506030bd73f169ee1","ref":"refs/heads/master","pushedAt":"2023-06-02T02:34:06.316Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Clean-up code","shortMessageHtmlLink":"Clean-up code"}},{"before":"57a31d21c69f88086abb41153cd41c249ca29a50","after":"a1ffda0c5221bc7ec8e4899166cc8e1121af22f9","ref":"refs/heads/master","pushedAt":"2023-05-30T17:28:39.410Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Rename CI step","shortMessageHtmlLink":"Rename CI step"}},{"before":"2a83356ba128a678e553da8f085c2dcf31e21005","after":"57a31d21c69f88086abb41153cd41c249ca29a50","ref":"refs/heads/master","pushedAt":"2023-05-30T17:00:27.625Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add CI","shortMessageHtmlLink":"Add CI"}},{"before":"4dde55fdb4481183cd38066d4cd987dec22e037f","after":"2a83356ba128a678e553da8f085c2dcf31e21005","ref":"refs/heads/master","pushedAt":"2023-05-30T14:57:27.372Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add comments about submitting to Mathlib","shortMessageHtmlLink":"Add comments about submitting to Mathlib"}},{"before":"9066854008dff2ab5992218fd36cfd9507fcebfa","after":"4dde55fdb4481183cd38066d4cd987dec22e037f","ref":"refs/heads/master","pushedAt":"2023-05-30T14:09:02.946Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Fix English","shortMessageHtmlLink":"Fix English"}},{"before":"fa125964de8c9b6518e24ff31d7b8b09807f1674","after":"9066854008dff2ab5992218fd36cfd9507fcebfa","ref":"refs/heads/master","pushedAt":"2023-05-30T13:56:17.210Z","pushType":"push","commitsCount":2,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master'"}},{"before":"3197f7650f18708772f97fb2d2e0f9e6373a32c1","after":"fa125964de8c9b6518e24ff31d7b8b09807f1674","ref":"refs/heads/master","pushedAt":"2023-05-28T22:51:44.616Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update Mathlib and Lean","shortMessageHtmlLink":"Update Mathlib and Lean"}},{"before":"75805d39f27c5dcb8b68baa5a15003e4a1359bd3","after":"3197f7650f18708772f97fb2d2e0f9e6373a32c1","ref":"refs/heads/master","pushedAt":"2023-05-28T05:24:03.773Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Fix variables","shortMessageHtmlLink":"Fix variables"}},{"before":"2e345ef9ce74c23057f9c21cee9aa84df9b4afe3","after":"75805d39f27c5dcb8b68baa5a15003e4a1359bd3","ref":"refs/heads/master","pushedAt":"2023-05-28T05:20:07.669Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Clean code","shortMessageHtmlLink":"Clean code"}},{"before":"04eac8b6e4ba5251fa89bf02b73ba832f103ff2e","after":"2e345ef9ce74c23057f9c21cee9aa84df9b4afe3","ref":"refs/heads/master","pushedAt":"2023-05-28T04:31:11.281Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Fix description","shortMessageHtmlLink":"Fix description"}},{"before":"ef949764751d1ec770b15a3764867f1012e22230","after":"04eac8b6e4ba5251fa89bf02b73ba832f103ff2e","ref":"refs/heads/master","pushedAt":"2023-05-28T04:22:27.440Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update description of the work","shortMessageHtmlLink":"Update description of the work"}},{"before":"01664c36b2e1720e075b2763f6a53c130bc9d5a9","after":"ef949764751d1ec770b15a3764867f1012e22230","ref":"refs/heads/master","pushedAt":"2023-05-28T03:42:46.238Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Replace the soft link to regular file","shortMessageHtmlLink":"Replace the soft link to regular file"}},{"before":"a8954938be9517f9de7a83a6b7c46b06a752f22e","after":"01664c36b2e1720e075b2763f6a53c130bc9d5a9","ref":"refs/heads/master","pushedAt":"2023-05-24T14:28:06.925Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Add main source code","shortMessageHtmlLink":"Add main source code"}},{"before":"5fef1f1d899b9ee8706a94eb4fae6c2b050385b4","after":"a8954938be9517f9de7a83a6b7c46b06a752f22e","ref":"refs/heads/master","pushedAt":"2023-04-21T18:50:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"c11b64e9aaadc0da0a6cc2f5bfdfeb576fab4f10","after":"5fef1f1d899b9ee8706a94eb4fae6c2b050385b4","ref":"refs/heads/master","pushedAt":"2023-04-21T16:28:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Clean","shortMessageHtmlLink":"Clean"}},{"before":"83b03c6e7b30bb0c39589697cac5a960f1a9ad9a","after":"c11b64e9aaadc0da0a6cc2f5bfdfeb576fab4f10","ref":"refs/heads/master","pushedAt":"2023-04-21T15:55:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Clean","shortMessageHtmlLink":"Clean"}},{"before":"ec60fe0ae26b36b562a23428ea9264ce7c5d0fbf","after":"83b03c6e7b30bb0c39589697cac5a960f1a9ad9a","ref":"refs/heads/master","pushedAt":"2023-04-15T13:23:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update","shortMessageHtmlLink":"Update"}},{"before":"4cb3794700861f3de51a1a4545aae3bf370a4c97","after":"ec60fe0ae26b36b562a23428ea9264ce7c5d0fbf","ref":"refs/heads/master","pushedAt":"2023-04-09T07:21:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update and add license","shortMessageHtmlLink":"Update and add license"}},{"before":null,"after":"4cb3794700861f3de51a1a4545aae3bf370a4c97","ref":"refs/heads/lean3","pushedAt":"2023-04-09T07:17:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":"d16012b4a3f0cc9dc21673e36d36d9b75ff05b67","after":"4cb3794700861f3de51a1a4545aae3bf370a4c97","ref":"refs/heads/master","pushedAt":"2023-04-03T14:34:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Update README","shortMessageHtmlLink":"Update README"}},{"before":null,"after":"d16012b4a3f0cc9dc21673e36d36d9b75ff05b67","ref":"refs/heads/master","pushedAt":"2023-04-03T14:22:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Hagb","name":"Hagb (Junyu Guo 郭俊余)","path":"/Hagb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10961094?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADQnWO_gA","startCursor":null,"endCursor":null}},"title":"Activity · Hagb/lean-groebner"}