{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":237315792,"defaultBranch":"master","name":"cubical","ownerLogin":"aljungstrom","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-01-30T22:11:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/49276137?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721695918.0","currentOid":""},"activityList":{"items":[{"before":"997480756ce68a09a0836e90a80b18ed3134befc","after":"3ed52e39899c3b1aad4ce1f625447da380699734","ref":"refs/heads/containers","pushedAt":"2024-07-23T02:08:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"paper","shortMessageHtmlLink":"paper"}},{"before":"997480756ce68a09a0836e90a80b18ed3134befc","after":null,"ref":"refs/heads/container-terminating","pushedAt":"2024-07-23T00:51:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"}},{"before":null,"after":"997480756ce68a09a0836e90a80b18ed3134befc","ref":"refs/heads/container-terminating","pushedAt":"2024-07-23T00:51:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"renaming","shortMessageHtmlLink":"renaming"}},{"before":"997480756ce68a09a0836e90a80b18ed3134befc","after":null,"ref":"refs/heads/container-terminating","pushedAt":"2024-07-23T00:48:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"}},{"before":null,"after":"997480756ce68a09a0836e90a80b18ed3134befc","ref":"refs/heads/containers","pushedAt":"2024-07-23T00:46:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"renaming","shortMessageHtmlLink":"renaming"}},{"before":"1535baed6a74c2651bd182ed766063013bd963b8","after":"997480756ce68a09a0836e90a80b18ed3134befc","ref":"refs/heads/container-terminating","pushedAt":"2024-07-18T09:14:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"renaming","shortMessageHtmlLink":"renaming"}},{"before":null,"after":"1535baed6a74c2651bd182ed766063013bd963b8","ref":"refs/heads/container-terminating","pushedAt":"2024-07-12T12:25:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"done","shortMessageHtmlLink":"done"}},{"before":"1dff2d524093f32c9d05500463c09ee781f2c30e","after":"10aea90c18c24d09626a0ec1c7d317c7e0fb5f2f","ref":"refs/heads/cellular_pointed","pushedAt":"2024-06-04T12:42:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"46482afb26dd76ebaa06e2b57c1134e98b541990","after":"1dff2d524093f32c9d05500463c09ee781f2c30e","ref":"refs/heads/cellular_pointed","pushedAt":"2024-06-04T12:39:58.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"merge","shortMessageHtmlLink":"merge"}},{"before":"598dfa5c85492f503d04164e79dc4bb0e1e54a24","after":"a0b4ba3ed18d16e410d14ab335058509e402cdc2","ref":"refs/heads/clean","pushedAt":"2024-06-04T12:25:30.000Z","pushType":"push","commitsCount":16,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"Add `Π-contractDom` (#1132)","shortMessageHtmlLink":"Add <code>Π-contractDom</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329042866\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/cubical/issues/1132\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agda/cubical/pull/1132/hovercard\" href=\"https://github.com/agda/cubical/pull/1132\">agda#1132</a>)"}},{"before":"787f34f42311454c48db5def54b9154b6d564842","after":"46482afb26dd76ebaa06e2b57c1134e98b541990","ref":"refs/heads/cellular_pointed","pushedAt":"2024-06-04T12:22:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"connected clean","shortMessageHtmlLink":"connected clean"}},{"before":"73afa8ec3c639433f8d6b701c7d72b9083e6f9dc","after":"787f34f42311454c48db5def54b9154b6d564842","ref":"refs/heads/cellular_pointed","pushedAt":"2024-06-04T12:13:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"connected done?","shortMessageHtmlLink":"connected done?"}},{"before":"6bc36641e78cc27c04811c24236e6eb792ee9656","after":"73afa8ec3c639433f8d6b701c7d72b9083e6f9dc","ref":"refs/heads/cellular_pointed","pushedAt":"2024-06-04T00:59:55.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"cleaning","shortMessageHtmlLink":"cleaning"}},{"before":"e4f400342907ec03159b741b3a43900777e1b819","after":"6bc36641e78cc27c04811c24236e6eb792ee9656","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-31T16:51:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"pretty much done","shortMessageHtmlLink":"pretty much done"}},{"before":"c7acbeee22598a9dc201e68b79e659bd8b394ad0","after":"e4f400342907ec03159b741b3a43900777e1b819","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-31T02:09:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"almost","shortMessageHtmlLink":"almost"}},{"before":"77623bb0a40f5be302202c60e9f3ae5791082c90","after":"c7acbeee22598a9dc201e68b79e659bd8b394ad0","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-29T16:11:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"stuff","shortMessageHtmlLink":"stuff"}},{"before":"dac2fd33e3aaabcb936104afc4e0685f130c0dc6","after":"77623bb0a40f5be302202c60e9f3ae5791082c90","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-27T01:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"wip...","shortMessageHtmlLink":"wip..."}},{"before":"afe51a465bd2d086d2461e1d80b44719d539bb5b","after":"dac2fd33e3aaabcb936104afc4e0685f130c0dc6","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-23T16:08:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"stuff","shortMessageHtmlLink":"stuff"}},{"before":"87fa4c021063e4ec37fa39d4b7bfe78e2c44a881","after":"afe51a465bd2d086d2461e1d80b44719d539bb5b","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-08T16:21:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"p2","shortMessageHtmlLink":"p2"}},{"before":"eb6b12e6b4d9c7b00ffe4dec96d86f17320dd173","after":"87fa4c021063e4ec37fa39d4b7bfe78e2c44a881","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-07T16:16:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"done?","shortMessageHtmlLink":"done?"}},{"before":"3784dcd118ef25e2123535a01df66d95097b2de6","after":"eb6b12e6b4d9c7b00ffe4dec96d86f17320dd173","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-07T08:12:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"Pointed","shortMessageHtmlLink":"Pointed"}},{"before":"3784dcd118ef25e2123535a01df66d95097b2de6","after":"5352a655f0acc368a151f254ce538c3b9fb190b7","ref":"refs/heads/cellular_final","pushedAt":"2024-05-06T13:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":null,"after":"3784dcd118ef25e2123535a01df66d95097b2de6","ref":"refs/heads/cellular_pointed","pushedAt":"2024-05-06T13:33:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"beccacd97a903f3140d19c9ac50dfcff40f89b2e","after":"3784dcd118ef25e2123535a01df66d95097b2de6","ref":"refs/heads/cellular_final","pushedAt":"2024-05-02T09:34:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":null,"after":"ca1cb01e06b14ade2c84195c16e34271c3e34de6","ref":"refs/heads/extended_paper","pushedAt":"2024-05-02T08:13:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"stuff","shortMessageHtmlLink":"stuff"}},{"before":"f8d6fcf3bc24ce3915b3960ad3b716fd082e8b9d","after":"598dfa5c85492f503d04164e79dc4bb0e1e54a24","ref":"refs/heads/clean","pushedAt":"2024-04-22T08:27:58.000Z","pushType":"push","commitsCount":30,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"Algebraic geometry directory, take 2 (#1121)\n\n* move Zariski lattice\r\n\r\n* add to README\r\n\r\n* restructure\r\n\r\n* fix paper\r\n\r\n* typos and fixes\r\n\r\n* Z functor instance\r\n\r\n* relative coadjunction","shortMessageHtmlLink":"Algebraic geometry directory, take 2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2237801359\" data-permission-text=\"Title is private\" data-url=\"https://github.com/agda/cubical/issues/1121\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/agda/cubical/pull/1121/hovercard\" href=\"https://github.com/agda/cubical/pull/1121\">agda#1121</a>)"}},{"before":"a15c3bd143f9e3c1d2d33eba07b901800ecc7ed7","after":"0d709bf939f57f31c255269c7a8c9e0f9c0190d9","ref":"refs/heads/CayleyDickson","pushedAt":"2024-04-10T14:38:08.000Z","pushType":"push","commitsCount":910,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"me","shortMessageHtmlLink":"me"}},{"before":"e746ff1ec0d8fddf79ea4421345f4bc0881d30d5","after":"74e2179ff26faecbc3323edcde8a6fbee3fed7d7","ref":"refs/heads/elimGpd","pushedAt":"2024-03-11T15:35:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"make private","shortMessageHtmlLink":"make private"}},{"before":null,"after":"e746ff1ec0d8fddf79ea4421345f4bc0881d30d5","ref":"refs/heads/elimGpd","pushedAt":"2024-03-11T14:44:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"elimGpd","shortMessageHtmlLink":"elimGpd"}},{"before":"3e53282ae92499ae69f28596cd195e55055a76b3","after":"beccacd97a903f3140d19c9ac50dfcff40f89b2e","ref":"refs/heads/cellular_final","pushedAt":"2024-03-04T11:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"aljungstrom","name":"Axel Ljungström","path":"/aljungstrom","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/49276137?s=80&v=4"},"commit":{"message":"ojdå","shortMessageHtmlLink":"ojdå"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhlyYOgA","startCursor":null,"endCursor":null}},"title":"Activity · aljungstrom/cubical"}