{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":472351480,"defaultBranch":"master","name":"ground_zero","ownerLogin":"forked-from-1kasper","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-21T13:32:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31402514?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1654500363.5005271","currentOid":""},"activityList":{"items":[{"before":"86adb049e9b4dd905c650d449128fcb5a1cc3d8e","after":"04dc5910ba074a05d9d04c47941475fb2e60512e","ref":"refs/heads/master","pushedAt":"2024-05-29T09:04:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"update (because something changed in Lean again)","shortMessageHtmlLink":"update (because something changed in Lean again)"}},{"before":"d8c41ea2910d81d3c1bf6c2762663473368016ab","after":"86adb049e9b4dd905c650d449128fcb5a1cc3d8e","ref":"refs/heads/master","pushedAt":"2024-04-17T16:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"5.1","shortMessageHtmlLink":"5.1"}},{"before":"805cee1e60c020ab6c6469be8217943f9a86bfd5","after":"d8c41ea2910d81d3c1bf6c2762663473368016ab","ref":"refs/heads/master","pushedAt":"2024-03-29T07:47:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"57485300356a3bcb2d22d76a6cb0cb9fa2c368b1","after":"805cee1e60c020ab6c6469be8217943f9a86bfd5","ref":"refs/heads/master","pushedAt":"2024-01-31T11:08:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2024-01-11","shortMessageHtmlLink":"https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2024…"}},{"before":"a3122579f48dc7aa9a65be33d218249569980327","after":"57485300356a3bcb2d22d76a6cb0cb9fa2c368b1","ref":"refs/heads/master","pushedAt":"2024-01-31T10:59:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"happy new year","shortMessageHtmlLink":"happy new year"}},{"before":"3bc61b252773fe9cbe39ea7e80d69a4b5447c3b2","after":"a3122579f48dc7aa9a65be33d218249569980327","ref":"refs/heads/master","pushedAt":"2024-01-03T12:10:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"formatting","shortMessageHtmlLink":"formatting"}},{"before":"7383cc38bdd28eed6201b03980c6f601f827dcd7","after":"3bc61b252773fe9cbe39ea7e80d69a4b5447c3b2","ref":"refs/heads/master","pushedAt":"2024-01-02T11:52:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"style","shortMessageHtmlLink":"style"}},{"before":"2edeebc8f4da983f6c53bcc2d51a46b066b7ce09","after":"7383cc38bdd28eed6201b03980c6f601f827dcd7","ref":"refs/heads/master","pushedAt":"2023-12-31T08:17:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"formatting","shortMessageHtmlLink":"formatting"}},{"before":"198bef591685fe1af7ee7f3ad147ea0d300db47c","after":"2edeebc8f4da983f6c53bcc2d51a46b066b7ce09","ref":"refs/heads/master","pushedAt":"2023-12-30T10:46:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"notation","shortMessageHtmlLink":"notation"}},{"before":"375dd7b7871ce1bd6ce3ec95e0cdbffc9d04a287","after":"198bef591685fe1af7ee7f3ad147ea0d300db47c","ref":"refs/heads/master","pushedAt":"2023-12-29T07:04:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"formatting","shortMessageHtmlLink":"formatting"}},{"before":"c5fdb13f034af770d61f3301e928863874e66fba","after":"375dd7b7871ce1bd6ce3ec95e0cdbffc9d04a287","ref":"refs/heads/master","pushedAt":"2023-12-28T10:17:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"a bit of category theory","shortMessageHtmlLink":"a bit of category theory"}},{"before":"6a01b170c2e21ec5e9e7234ce6c6c921eb3133be","after":"c5fdb13f034af770d61f3301e928863874e66fba","ref":"refs/heads/master","pushedAt":"2023-12-27T13:18:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"simple lemmas","shortMessageHtmlLink":"simple lemmas"}},{"before":"b11fafa8da6700d9dc7d76c54756ab003d7b6ae7","after":"6a01b170c2e21ec5e9e7234ce6c6c921eb3133be","ref":"refs/heads/master","pushedAt":"2023-12-26T08:42:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"style","shortMessageHtmlLink":"style"}},{"before":"f6903abe8bf860fa2ad914729677a7d40263f513","after":"b11fafa8da6700d9dc7d76c54756ab003d7b6ae7","ref":"refs/heads/master","pushedAt":"2023-12-26T08:37:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"clean up & simplify things a lot","shortMessageHtmlLink":"clean up & simplify things a lot"}},{"before":"c780447f634270940c33308811d6a5c11e262b50","after":"f6903abe8bf860fa2ad914729677a7d40263f513","ref":"refs/heads/master","pushedAt":"2023-12-26T07:40:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"clean up","shortMessageHtmlLink":"clean up"}},{"before":"263340fcfc90301100ee5ce11eadc721b9c8d7a6","after":"c780447f634270940c33308811d6a5c11e262b50","ref":"refs/heads/master","pushedAt":"2023-12-25T08:54:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"update dependency map","shortMessageHtmlLink":"update dependency map"}},{"before":"b15d8899a82ecf7dd11df18397dd88b523977003","after":"263340fcfc90301100ee5ce11eadc721b9c8d7a6","ref":"refs/heads/master","pushedAt":"2023-12-25T08:52:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"clean up draft","shortMessageHtmlLink":"clean up draft"}},{"before":"386d7e4d6045002524b3bdcfeed91243146cc2be","after":"b15d8899a82ecf7dd11df18397dd88b523977003","ref":"refs/heads/master","pushedAt":"2023-12-25T08:51:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"clean up group theory a bit","shortMessageHtmlLink":"clean up group theory a bit"}},{"before":"2bdc27a6eb3e2fca5ddb0a5c0840eb5684f1b53c","after":"386d7e4d6045002524b3bdcfeed91243146cc2be","ref":"refs/heads/master","pushedAt":"2023-12-24T14:39:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"lemmas about dependent loop space","shortMessageHtmlLink":"lemmas about dependent loop space"}},{"before":"c46908b52ca88554237a33de5c03fea208d124c5","after":"2bdc27a6eb3e2fca5ddb0a5c0840eb5684f1b53c","ref":"refs/heads/master","pushedAt":"2023-12-23T08:27:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"update dependency map & simple lemmas","shortMessageHtmlLink":"update dependency map & simple lemmas"}},{"before":"7698f3447c65dc7365332478b419c1393df2849e","after":"c46908b52ca88554237a33de5c03fea208d124c5","ref":"refs/heads/master","pushedAt":"2023-12-22T09:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"lemmas & clean up","shortMessageHtmlLink":"lemmas & clean up"}},{"before":"f0ccc21579d9b71df55bd95bf52dec76e5a6b04c","after":"7698f3447c65dc7365332478b419c1393df2849e","ref":"refs/heads/master","pushedAt":"2023-12-21T13:18:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"bugfix","shortMessageHtmlLink":"bugfix"}},{"before":"b69683bf4a94185a33ad9f211d29ec74d654ad16","after":"f0ccc21579d9b71df55bd95bf52dec76e5a6b04c","ref":"refs/heads/master","pushedAt":"2023-12-21T13:13:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"style","shortMessageHtmlLink":"style"}},{"before":"cc9cbf782b500d20f0fea35056df71e0514950a3","after":"b69683bf4a94185a33ad9f211d29ec74d654ad16","ref":"refs/heads/master","pushedAt":"2023-12-20T05:57:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"check opaques & hott opaque → hott opaque & hott opaque axiom","shortMessageHtmlLink":"check opaques & hott opaque → hott opaque & hott opaque axiom"}},{"before":"e4374c647d99aa9d85c8193ce1f1594f925e8773","after":"cc9cbf782b500d20f0fea35056df71e0514950a3","ref":"refs/heads/master","pushedAt":"2023-12-19T10:33:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"Graph.lean → Quotient.lean, Quotient.lean → Setquot.lean","shortMessageHtmlLink":"Graph.lean → Quotient.lean, Quotient.lean → Setquot.lean"}},{"before":"840d3f29f840303d36fd7ccc96f3ae74ccb1e62f","after":"e4374c647d99aa9d85c8193ce1f1594f925e8773","ref":"refs/heads/master","pushedAt":"2023-12-19T07:59:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"style & formatting & simplify some proofs","shortMessageHtmlLink":"style & formatting & simplify some proofs"}},{"before":"a01c3b573865dbebd3fb43c37ffeb6b7f464b4c1","after":"840d3f29f840303d36fd7ccc96f3ae74ccb1e62f","ref":"refs/heads/master","pushedAt":"2023-12-18T14:35:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"add notes","shortMessageHtmlLink":"add notes"}},{"before":"72ee903cf24afb26a1e41d12aa8f14ffc7b8b1f1","after":"a01c3b573865dbebd3fb43c37ffeb6b7f464b4c1","ref":"refs/heads/master","pushedAt":"2023-12-17T09:44:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"fix universe level of some HITs","shortMessageHtmlLink":"fix universe level of some HITs"}},{"before":"b2b5e124e11c5d5c10bee0c4e30ce98ceea1d447","after":"72ee903cf24afb26a1e41d12aa8f14ffc7b8b1f1","ref":"refs/heads/master","pushedAt":"2023-12-17T06:12:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"implement “hott prohibit”","shortMessageHtmlLink":"implement “hott prohibit”"}},{"before":"1bd3ffc6990caa28e19ac9fcdfd077da75d01379","after":"b2b5e124e11c5d5c10bee0c4e30ce98ceea1d447","ref":"refs/heads/master","pushedAt":"2023-12-16T14:09:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"forked-from-1kasper","name":"Siegmentation Fault","path":"/forked-from-1kasper","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31402514?s=80&v=4"},"commit":{"message":"extend “hott axiom” & hott opaque & some documentation","shortMessageHtmlLink":"extend “hott axiom” & hott opaque & some documentation"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVrlQewA","startCursor":null,"endCursor":null}},"title":"Activity · forked-from-1kasper/ground_zero"}