{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":672875835,"defaultBranch":"main","name":"formalisation","ownerLogin":"oliver-butterley","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-31T11:16:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/51876429?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1704974390.0","currentOid":""},"activityList":{"items":[{"before":"8ec5a5b47817bfbea8dd523dd8c7bae67f8b3dc4","after":"39e20132cf9dd9b551db471b2023725beb6c52e7","ref":"refs/heads/main","pushedAt":"2024-02-01T09:39:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"link to slides","shortMessageHtmlLink":"link to slides"}},{"before":"4362764cdd61b89e25409333cccb452d3609cf37","after":"8ec5a5b47817bfbea8dd523dd8c7bae67f8b3dc4","ref":"refs/heads/main","pushedAt":"2024-02-01T08:42:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"participants","shortMessageHtmlLink":"participants"}},{"before":"c2e6f4e263bcf31242afe0c834a6b7f6a705bf84","after":"4362764cdd61b89e25409333cccb452d3609cf37","ref":"refs/heads/main","pushedAt":"2024-02-01T08:10:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"link repo","shortMessageHtmlLink":"link repo"}},{"before":"080f35fba4a3f235517fc39d012faeb1bc04ebb3","after":"c2e6f4e263bcf31242afe0c834a6b7f6a705bf84","ref":"refs/heads/main","pushedAt":"2024-01-24T13:21:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RafaelGreenblatt","name":"Rafael Leon Greenblatt","path":"/RafaelGreenblatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5918507?s=80&v=4"},"commit":{"message":"More info on codespaces info.md","shortMessageHtmlLink":"More info on codespaces info.md"}},{"before":"33d681151c89dd00c48f5432b57b9425f5e3a3f5","after":"080f35fba4a3f235517fc39d012faeb1bc04ebb3","ref":"refs/heads/main","pushedAt":"2024-01-24T13:16:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RafaelGreenblatt","name":"Rafael Leon Greenblatt","path":"/RafaelGreenblatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5918507?s=80&v=4"},"commit":{"message":"Link to Codespaces in info.md","shortMessageHtmlLink":"Link to Codespaces in info.md"}},{"before":"f1d8692f6f56b887eff1291a89b52177558d73fd","after":"33d681151c89dd00c48f5432b57b9425f5e3a3f5","ref":"refs/heads/main","pushedAt":"2024-01-24T12:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"faenuccio","name":"Filippo A. E. Nuccio","path":"/faenuccio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65080144?s=80&v=4"},"commit":{"message":"changed all rooms for colloquia","shortMessageHtmlLink":"changed all rooms for colloquia"}},{"before":"66f16a6eca48053a619f1d2872c0f41c25c73c59","after":"f1d8692f6f56b887eff1291a89b52177558d73fd","ref":"refs/heads/main","pushedAt":"2024-01-24T11:59:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"faenuccio","name":"Filippo A. E. Nuccio","path":"/faenuccio","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65080144?s=80&v=4"},"commit":{"message":"changed colloquim room","shortMessageHtmlLink":"changed colloquim room"}},{"before":"21dd1e4a4d5da00ff1721987cd6d394b0ce9c797","after":"66f16a6eca48053a619f1d2872c0f41c25c73c59","ref":"refs/heads/main","pushedAt":"2024-01-23T15:19:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md","shortMessageHtmlLink":"Update info.md"}},{"before":"493ba46e372dcb2ee8504d92f8796e8ac5de3818","after":"21dd1e4a4d5da00ff1721987cd6d394b0ce9c797","ref":"refs/heads/main","pushedAt":"2024-01-23T14:49:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nmore updates","shortMessageHtmlLink":"Update info.md"}},{"before":"13127fd25590fdb2ab7428f2a2372df3b53d759a","after":"493ba46e372dcb2ee8504d92f8796e8ac5de3818","ref":"refs/heads/main","pushedAt":"2024-01-23T10:39:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nimprovement","shortMessageHtmlLink":"Update info.md"}},{"before":"87d171d81cb4809c93275bbceb129b1e471dacda","after":"13127fd25590fdb2ab7428f2a2372df3b53d759a","ref":"refs/heads/main","pushedAt":"2024-01-23T10:30:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\ntypos","shortMessageHtmlLink":"Update info.md"}},{"before":"5163ea095f631e14428e11a80100bc769bb69f24","after":"87d171d81cb4809c93275bbceb129b1e471dacda","ref":"refs/heads/main","pushedAt":"2024-01-23T10:26:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nAdded more practical info about the 20 bus","shortMessageHtmlLink":"Update info.md"}},{"before":"9b27b50da36831980d9dad0fdcf4e854e768b9f9","after":"5163ea095f631e14428e11a80100bc769bb69f24","ref":"refs/heads/main","pushedAt":"2024-01-18T09:02:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"๐จ","shortMessageHtmlLink":"๐จ"}},{"before":"1b6dcca76004e7f1f1b289df7ee1833208266813","after":"9b27b50da36831980d9dad0fdcf4e854e768b9f9","ref":"refs/heads/main","pushedAt":"2024-01-17T19:19:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"updated supporters image","shortMessageHtmlLink":"updated supporters image"}},{"before":"3945ab1b96c9a2a0354d8ff2797c6cd895ca93da","after":"1b6dcca76004e7f1f1b289df7ee1833208266813","ref":"refs/heads/main","pushedAt":"2024-01-16T13:31:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Supporters","shortMessageHtmlLink":"Supporters"}},{"before":"69543726708f57627d08d7c9e69d76a4ac10dc8a","after":"3945ab1b96c9a2a0354d8ff2797c6cd895ca93da","ref":"refs/heads/main","pushedAt":"2024-01-11T20:09:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"๐จ","shortMessageHtmlLink":"๐จ"}},{"before":"9ed18a72b4059c708681e80fdf3b73f32434c92a","after":"69543726708f57627d08d7c9e69d76a4ac10dc8a","ref":"refs/heads/main","pushedAt":"2024-01-11T14:14:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Merge pull request #4 from pitmonticone/main\n\nFix typo","shortMessageHtmlLink":"Merge pull request #4 from pitmonticone/main"}},{"before":"e38c4c09f0ed4c2a1ff3041097f1b10241acb414","after":"9ed18a72b4059c708681e80fdf3b73f32434c92a","ref":"refs/heads/main","pushedAt":"2024-01-11T12:35:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"highlight departmental colloquium","shortMessageHtmlLink":"highlight departmental colloquium"}},{"before":"e0be358a1f098b96ac0d97a44f06308c13b7226e","after":null,"ref":"refs/heads/marcolenci-patch-1","pushedAt":"2024-01-11T11:59:50.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"}},{"before":"2e50903c7bf96b1b20fb01d5ef774ac04dd48f6e","after":"e38c4c09f0ed4c2a1ff3041097f1b10241acb414","ref":"refs/heads/main","pushedAt":"2024-01-11T11:59:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Merge pull request #3 from oliver-butterley/marcolenci-patch-1\n\nAdd talk location in sensible place","shortMessageHtmlLink":"Merge pull request #3 from oliver-butterley/marcolenci-patch-1"}},{"before":null,"after":"e0be358a1f098b96ac0d97a44f06308c13b7226e","ref":"refs/heads/marcolenci-patch-1","pushedAt":"2024-01-11T11:56:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nI think this is an improvement","shortMessageHtmlLink":"Update info.md"}},{"before":"93b91f3632784a11644866220187cfa508feb4dc","after":"2e50903c7bf96b1b20fb01d5ef774ac04dd48f6e","ref":"refs/heads/main","pushedAt":"2024-01-11T10:04:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nanother typo","shortMessageHtmlLink":"Update info.md"}},{"before":"9a46614fa533f7252c0b7737e1e766d2d77d5c3d","after":"93b91f3632784a11644866220187cfa508feb4dc","ref":"refs/heads/main","pushedAt":"2024-01-11T10:01:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marcolenci","name":"Marco Lenci","path":"/marcolenci","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/92436286?s=80&v=4"},"commit":{"message":"Update info.md\n\nfixed typo","shortMessageHtmlLink":"Update info.md"}},{"before":"ab2683ceb032bc44fc8cce35261dbfe1feac07b1","after":"9a46614fa533f7252c0b7737e1e766d2d77d5c3d","ref":"refs/heads/main","pushedAt":"2024-01-09T21:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"talk formatting ๐จ","shortMessageHtmlLink":"talk formatting ๐จ"}},{"before":"7c6276e38e1432af654e290c3cf4a8c89b9fa953","after":"ab2683ceb032bc44fc8cce35261dbfe1feac07b1","ref":"refs/heads/main","pushedAt":"2024-01-09T18:07:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Add filippo's abstract","shortMessageHtmlLink":"Add filippo's abstract"}},{"before":"9b0a74534ea737df130518fd16fef45cde8021a8","after":"7c6276e38e1432af654e290c3cf4a8c89b9fa953","ref":"refs/heads/main","pushedAt":"2024-01-09T14:07:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Added Kevin's abstract","shortMessageHtmlLink":"Added Kevin's abstract"}},{"before":"55ee2e915a2f939461321814faf92465f5574a37","after":"9b0a74534ea737df130518fd16fef45cde8021a8","ref":"refs/heads/main","pushedAt":"2024-01-09T14:01:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"Merge commit 'a17fd58e9f122d12de7d8e9494339114d9456937'","shortMessageHtmlLink":"Merge commit 'a17fd58e9f122d12de7d8e9494339114d9456937'"}},{"before":"27b4fb017ca54c439c34b71481b51ed82f5ea3e1","after":"a17fd58e9f122d12de7d8e9494339114d9456937","ref":"refs/heads/gihantalk","pushedAt":"2024-01-09T14:00:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"๐จ","shortMessageHtmlLink":"๐จ"}},{"before":null,"after":"27b4fb017ca54c439c34b71481b51ed82f5ea3e1","ref":"refs/heads/gihantalk","pushedAt":"2024-01-09T13:35:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gihanmarasingha","name":"Gihan Marasingha","path":"/gihanmarasingha","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8463749?s=80&v=4"},"commit":{"message":"update Gihan's title and abstract","shortMessageHtmlLink":"update Gihan's title and abstract"}},{"before":"350e46da61c357af7dc1ac40fdebb8f946cb951f","after":"55ee2e915a2f939461321814faf92465f5574a37","ref":"refs/heads/main","pushedAt":"2024-01-09T11:54:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"oliver-butterley","name":"Oliver Butterley","path":"/oliver-butterley","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51876429?s=80&v=4"},"commit":{"message":"practical info ๐จ","shortMessageHtmlLink":"practical info ๐จ"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD7vEeNQA","startCursor":null,"endCursor":null}},"title":"Activity ยท oliver-butterley/formalisation"}