{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":701737048,"defaultBranch":"main","name":"typesig-website","ownerLogin":"compsoc-edinburgh","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-07T12:19:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1038645?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727181644.0","currentOid":""},"activityList":{"items":[{"before":"240c8726a3196386061adb2de40aa5a379b221cd","after":"e3a45115ff2e513a72dd824aec83fc0301406ee1","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T15:21:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kshxtij","name":"Kshitij Sharma","path":"/kshxtij","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48125086?s=80&v=4"},"commit":{"message":"Fix newline","shortMessageHtmlLink":"Fix newline"}},{"before":"d1069d0de713da267b1b2a9f570849245a2f1313","after":"240c8726a3196386061adb2de40aa5a379b221cd","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T15:19:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kshxtij","name":"Kshitij Sharma","path":"/kshxtij","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48125086?s=80&v=4"},"commit":{"message":"Add Mechanics of Proof Lean Resource","shortMessageHtmlLink":"Add Mechanics of Proof Lean Resource"}},{"before":"38ead99cdf6e2e05e152d8a236c764b7b6d833dc","after":"d1069d0de713da267b1b2a9f570849245a2f1313","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:31:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[add] Harder shilling in about page (fucked up last commit)","shortMessageHtmlLink":"[add] Harder shilling in about page (fucked up last commit)"}},{"before":"ec06aa63f399c71f6e942da2569f9a5a2cd6055b","after":"38ead99cdf6e2e05e152d8a236c764b7b6d833dc","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:29:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[add] Harder shilling in about page","shortMessageHtmlLink":"[add] Harder shilling in about page"}},{"before":"086160f31226991d04264a51685ac916107d9906","after":"ec06aa63f399c71f6e942da2569f9a5a2cd6055b","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:16:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Logo now links to homepage","shortMessageHtmlLink":"[fix] Logo now links to homepage"}},{"before":"b670ec38b2e439f867b5d41ba09d7c78c35538db","after":"086160f31226991d04264a51685ac916107d9906","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:13:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[upd] Slight prose changes on /resources","shortMessageHtmlLink":"[upd] Slight prose changes on /resources"}},{"before":"1fa09023948194ebc04b9b2e4557804ca5f71794","after":"b670ec38b2e439f867b5d41ba09d7c78c35538db","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:11:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[upd] Merge /about and /contact","shortMessageHtmlLink":"[upd] Merge /about and /contact"}},{"before":"6c8ec02230969fbd53a90c2f89b358d5f7605f5f","after":"1fa09023948194ebc04b9b2e4557804ca5f71794","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T13:01:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kshxtij","name":"Kshitij Sharma","path":"/kshxtij","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48125086?s=80&v=4"},"commit":{"message":"Fix one of the links","shortMessageHtmlLink":"Fix one of the links"}},{"before":"5ec67ffc61d0ac3f3f0a5b4eaa4be9d726bdb515","after":"6c8ec02230969fbd53a90c2f89b358d5f7605f5f","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T12:54:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Inline logo to fix font rendering on chromium","shortMessageHtmlLink":"[fix] Inline logo to fix font rendering on chromium"}},{"before":"48a4126388308791a28d472058ced5bce3d7ec09","after":"5ec67ffc61d0ac3f3f0a5b4eaa4be9d726bdb515","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T12:42:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"Merge pull request #1 from compsoc-edinburgh/add-resources-page\n\n[add] Resources page","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545298455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/compsoc-edinburgh/typesig-website/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/compsoc-edinburgh/typesig-website/pull/1/hovercard\" href=\"https://github.com/compsoc-edinburgh/typesig-website/pull/1\">#1</a> from compsoc-edinburgh/add-resources-page"}},{"before":null,"after":"65d5f224df4489d14f250406fb7f3fd8082e920c","ref":"refs/heads/add-resources-page","pushedAt":"2024-09-24T12:40:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kshxtij","name":"Kshitij Sharma","path":"/kshxtij","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48125086?s=80&v=4"},"commit":{"message":"Add resources page and restyle the old domain-theory page","shortMessageHtmlLink":"Add resources page and restyle the old domain-theory page"}},{"before":"26a6a21d88d78ff466dd01425f689f358d4855ec","after":"48a4126388308791a28d472058ced5bce3d7ec09","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T15:26:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Correctly size navbar image","shortMessageHtmlLink":"[fix] Correctly size navbar image"}},{"before":"613a1d5abd140355347b88eb443db5dbb57e9881","after":"26a6a21d88d78ff466dd01425f689f358d4855ec","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T15:21:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] elsif instead of elseif - hakyll when?","shortMessageHtmlLink":"[fix] elsif instead of elseif - hakyll when?"}},{"before":"3a633910c2daaafdaaec2ab3f44b302e00e66421","after":"613a1d5abd140355347b88eb443db5dbb57e9881","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T15:12:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Replace html formatted logo with SVG","shortMessageHtmlLink":"[fix] Replace html formatted logo with SVG"}},{"before":"9b2731623945b161b90ad8570d3dbb5bc63208ca","after":"3a633910c2daaafdaaec2ab3f44b302e00e66421","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T14:54:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Only left pad on header links","shortMessageHtmlLink":"[fix] Only left pad on header links"}},{"before":"7dff2de25202a56d85ba813fff58b8ada66a192c","after":"9b2731623945b161b90ad8570d3dbb5bc63208ca","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T13:18:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[add] Make hero button wide on small screens","shortMessageHtmlLink":"[add] Make hero button wide on small screens"}},{"before":"b0ba1e86bbbe2c84c09d8fe549ca95b9a21efcfc","after":"7dff2de25202a56d85ba813fff58b8ada66a192c","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T12:55:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[fix] Increase font weight in hero","shortMessageHtmlLink":"[fix] Increase font weight in hero"}},{"before":"2b5513100edb2a536c988dcf36bce6c812f7613c","after":"b0ba1e86bbbe2c84c09d8fe549ca95b9a21efcfc","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T12:50:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[upd] Change font family to IBM Plex","shortMessageHtmlLink":"[upd] Change font family to IBM Plex"}},{"before":"728af516fdb03c9287e3556e8153a5f9fab1b71a","after":"2b5513100edb2a536c988dcf36bce6c812f7613c","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T12:49:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"[upd] New logo and URL","shortMessageHtmlLink":"[upd] New logo and URL"}},{"before":"76782056d18284f53d48b0f8ea450f8b4dfac1fd","after":"728af516fdb03c9287e3556e8153a5f9fab1b71a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-20T11:41:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jacobjwalters","name":"Jacob Walters","path":"/jacobjwalters","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71326111?s=80&v=4"},"commit":{"message":"Update CNAME","shortMessageHtmlLink":"Update CNAME"}},{"before":"9932c6272a730672e410d4e5eacfab71b8f80b38","after":"76782056d18284f53d48b0f8ea450f8b4dfac1fd","ref":"refs/heads/gh-pages","pushedAt":"2024-03-28T00:32:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: Add recording","shortMessageHtmlLink":"domain-theory: Add recording"}},{"before":"e349444cafd4dfde965b9d7ba63d29b1b23b30fd","after":"9932c6272a730672e410d4e5eacfab71b8f80b38","ref":"refs/heads/gh-pages","pushedAt":"2024-03-27T06:05:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: update credits","shortMessageHtmlLink":"domain-theory: update credits"}},{"before":"640ee9b359be8f37ee17933c80b282278df0baca","after":"e349444cafd4dfde965b9d7ba63d29b1b23b30fd","ref":"refs/heads/gh-pages","pushedAt":"2024-03-26T04:44:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: add recording link","shortMessageHtmlLink":"domain-theory: add recording link"}},{"before":"a78c8b236cf201e759d19443f102de50d4fe4e68","after":"640ee9b359be8f37ee17933c80b282278df0baca","ref":"refs/heads/gh-pages","pushedAt":"2024-03-25T05:45:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: notes 5","shortMessageHtmlLink":"domain-theory: notes 5"}},{"before":"f5266cba03101d787059f927f78ba5f1f666f29c","after":"a78c8b236cf201e759d19443f102de50d4fe4e68","ref":"refs/heads/gh-pages","pushedAt":"2024-03-21T01:48:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: add link","shortMessageHtmlLink":"domain-theory: add link"}},{"before":"fdbe3d97578c67776d5c5a7628f0bab413445ce1","after":"f5266cba03101d787059f927f78ba5f1f666f29c","ref":"refs/heads/gh-pages","pushedAt":"2024-03-18T20:08:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: recording and reshuffle for lec4","shortMessageHtmlLink":"domain-theory: recording and reshuffle for lec4"}},{"before":"24d35a628090ec06d2d456e84e15999257293e3a","after":"fdbe3d97578c67776d5c5a7628f0bab413445ce1","ref":"refs/heads/gh-pages","pushedAt":"2024-03-18T05:12:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: notes 4","shortMessageHtmlLink":"domain-theory: notes 4"}},{"before":"b04cd4d970c13e1de945f709fef957f42b3b1b24","after":"24d35a628090ec06d2d456e84e15999257293e3a","ref":"refs/heads/gh-pages","pushedAt":"2024-03-13T20:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liamoc","name":"Liam O'Connor","path":"/liamoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61991?s=80&v=4"},"commit":{"message":"domain-theory: Recording link","shortMessageHtmlLink":"domain-theory: Recording link"}},{"before":"3dd304f45d68d125769b2f99386e5b45756eb157","after":"b04cd4d970c13e1de945f709fef957f42b3b1b24","ref":"refs/heads/gh-pages","pushedAt":"2024-03-12T19:26:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yinamy","name":"Amy Yin","path":"/yinamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76240283?s=80&v=4"},"commit":{"message":"Added pics from tuple","shortMessageHtmlLink":"Added pics from tuple"}},{"before":"5fda772e765bf5879c42635475d887436b608de7","after":"f72a3a45b4ebce9875003702847969c84bafaec1","ref":"refs/heads/main","pushedAt":"2024-03-12T19:15:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yinamy","name":"Amy Yin","path":"/yinamy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76240283?s=80&v=4"},"commit":{"message":"Delete tuple-pics directory","shortMessageHtmlLink":"Delete tuple-pics directory"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNToyMTowNC4wMDAwMDBazwAAAAS_UwRZ","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNToyMTowNC4wMDAwMDBazwAAAAS_UwRZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xMlQxOToxNTo1MS4wMDAwMDBazwAAAAQTwN8a"}},"title":"Activity · compsoc-edinburgh/typesig-website"}