{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":768309733,"defaultBranch":"main","name":"Untangle","ownerLogin":"dignissimus","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-06T21:11:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/18627392?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709759518.0","currentOid":""},"activityList":{"items":[{"before":"0d90c8c9574954341398c68eb3527d2548c8190c","after":"3a4e77685a345df9beffa7d749ecfd4fbbda224d","ref":"refs/heads/main","pushedAt":"2024-06-27T22:23:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add lemmas for HopfAlgebra rewrites","shortMessageHtmlLink":"Add lemmas for HopfAlgebra rewrites"}},{"before":"1d8958e64d3241d1beeae6cd018895e8f8d1ccbd","after":"0d90c8c9574954341398c68eb3527d2548c8190c","ref":"refs/heads/main","pushedAt":"2024-06-04T05:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Visually render braids as wire crossings","shortMessageHtmlLink":"Visually render braids as wire crossings"}},{"before":"94376b7b51cc8bd775bc274af266b938bb567fd4","after":"1d8958e64d3241d1beeae6cd018895e8f8d1ccbd","ref":"refs/heads/main","pushedAt":"2024-06-03T02:34:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add Hopf Algebra example","shortMessageHtmlLink":"Add Hopf Algebra example"}},{"before":"a09fa01806327935732b11ee67fe38e936cc958f","after":"94376b7b51cc8bd775bc274af266b938bb567fd4","ref":"refs/heads/main","pushedAt":"2024-06-03T02:05:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add Hopf Algebra example","shortMessageHtmlLink":"Add Hopf Algebra example"}},{"before":"22ca244f7a0671247116a1e2244c130d4dc67671","after":"a09fa01806327935732b11ee67fe38e936cc958f","ref":"refs/heads/main","pushedAt":"2024-06-03T02:04:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add HopfAlgebra example","shortMessageHtmlLink":"Add HopfAlgebra example"}},{"before":"fc2fc190840d49a3ac4ef05ac331d05edac52fec","after":"22ca244f7a0671247116a1e2244c130d4dc67671","ref":"refs/heads/main","pushedAt":"2024-05-29T13:30:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Introduce extensibility and decouple monad example","shortMessageHtmlLink":"Introduce extensibility and decouple monad example"}},{"before":"cadc97ce7801468816df92aa073705015cbe2d00","after":"fc2fc190840d49a3ac4ef05ac331d05edac52fec","ref":"refs/heads/main","pushedAt":"2024-05-29T09:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Remove unused code","shortMessageHtmlLink":"Remove unused code"}},{"before":"24b9806d38395e64831b35764d7e2da9aa9e3512","after":"cadc97ce7801468816df92aa073705015cbe2d00","ref":"refs/heads/main","pushedAt":"2024-03-18T14:50:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Repeat invocations of Functor.map_comp\n\nSigned-off-by: Sam Ezeh <sam.z.ezeh@gmail.com>","shortMessageHtmlLink":"Repeat invocations of Functor.map_comp"}},{"before":"d2659bb4cf9659f66f29992d87ebfbdf5f6d11b7","after":"24b9806d38395e64831b35764d7e2da9aa9e3512","ref":"refs/heads/main","pushedAt":"2024-03-18T14:21:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Works with GitHub Codespace","shortMessageHtmlLink":"Works with GitHub Codespace"}},{"before":"3baf87fe9f582c7f45cc584d637a3bdfb1eabf0f","after":"d2659bb4cf9659f66f29992d87ebfbdf5f6d11b7","ref":"refs/heads/main","pushedAt":"2024-03-18T14:20:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Remove excessive whitespace when inserting tactics","shortMessageHtmlLink":"Remove excessive whitespace when inserting tactics"}},{"before":"ddddca3f912cf8bc2c95e6641045957c84e01083","after":"3baf87fe9f582c7f45cc584d637a3bdfb1eabf0f","ref":"refs/heads/main","pushedAt":"2024-03-18T13:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add GitHub codespace configuration","shortMessageHtmlLink":"Add GitHub codespace configuration"}},{"before":"cc4a4947f98bdcd0ac19fe16a2f96b2c5d616c4d","after":"ddddca3f912cf8bc2c95e6641045957c84e01083","ref":"refs/heads/main","pushedAt":"2024-03-18T13:15:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add .gitpod.yml","shortMessageHtmlLink":"Add .gitpod.yml"}},{"before":"c8e466f40caf263dc0eaf47a7a64abe8e668742e","after":"cc4a4947f98bdcd0ac19fe16a2f96b2c5d616c4d","ref":"refs/heads/main","pushedAt":"2024-03-18T11:50:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Handle lifted applications of the monad laws","shortMessageHtmlLink":"Handle lifted applications of the monad laws"}},{"before":"6b1451b608434a4017fd26681583af9faa1609b2","after":"c8e466f40caf263dc0eaf47a7a64abe8e668742e","ref":"refs/heads/main","pushedAt":"2024-03-18T00:48:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Separate tactic invocations by lines","shortMessageHtmlLink":"Separate tactic invocations by lines"}},{"before":"4d9cdcb4d5465e06517e443d21a5da9cdf950406","after":"6b1451b608434a4017fd26681583af9faa1609b2","ref":"refs/heads/main","pushedAt":"2024-03-17T19:47:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a7b9fc5cc5c4c1eff6d241c58e503710d2f04dbb","after":"4d9cdcb4d5465e06517e443d21a5da9cdf950406","ref":"refs/heads/main","pushedAt":"2024-03-17T19:08:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"9424b0cd00d7453ba06903718d9a8edc6a5f5d0b","after":"a7b9fc5cc5c4c1eff6d241c58e503710d2f04dbb","ref":"refs/heads/main","pushedAt":"2024-03-17T17:45:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Be explicit when simplifying expressions","shortMessageHtmlLink":"Be explicit when simplifying expressions"}},{"before":"121f67cf63ddc71d3ef4d1bacb35ba9bde718f24","after":"9424b0cd00d7453ba06903718d9a8edc6a5f5d0b","ref":"refs/heads/main","pushedAt":"2024-03-16T14:24:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Be precise when selecting the monad associativity law","shortMessageHtmlLink":"Be precise when selecting the monad associativity law"}},{"before":"a157cf750ef1c8ce23fbb5f58a3fcdc16b61d73b","after":"121f67cf63ddc71d3ef4d1bacb35ba9bde718f24","ref":"refs/heads/main","pushedAt":"2024-03-16T14:22:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Be precise when selecting the monad eta laws","shortMessageHtmlLink":"Be precise when selecting the monad eta laws"}},{"before":"19f0059d36a984625b55dadf71dff8454b5ebd6d","after":"a157cf750ef1c8ce23fbb5f58a3fcdc16b61d73b","ref":"refs/heads/main","pushedAt":"2024-03-15T13:46:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Don't panic when there is no applicable tactic","shortMessageHtmlLink":"Don't panic when there is no applicable tactic"}},{"before":"c3ebb544485a29a8d38020f65dc1f094bfded02d","after":"19f0059d36a984625b55dadf71dff8454b5ebd6d","ref":"refs/heads/main","pushedAt":"2024-03-15T12:54:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Tag natural transformations when constructing the string diagram","shortMessageHtmlLink":"Tag natural transformations when constructing the string diagram"}},{"before":"f27ccf29166f42139208c7f5a6fd093296471ea7","after":"c3ebb544485a29a8d38020f65dc1f094bfded02d","ref":"refs/heads/main","pushedAt":"2024-03-14T13:00:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Support applying the naturality condition for all natural transformations","shortMessageHtmlLink":"Support applying the naturality condition for all natural transformat…"}},{"before":"b13e422ae4e87d1579f592747414939ebbd6ccc3","after":"f27ccf29166f42139208c7f5a6fd093296471ea7","ref":"refs/heads/main","pushedAt":"2024-03-14T01:09:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Re-order examples","shortMessageHtmlLink":"Re-order examples"}},{"before":"2e00405419de50e31c48fcaca0e5237211ba70d0","after":"b13e422ae4e87d1579f592747414939ebbd6ccc3","ref":"refs/heads/main","pushedAt":"2024-03-14T01:03:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"013bbfd6e2a85b010e6dcfa968bb431b02a185cc","after":"2e00405419de50e31c48fcaca0e5237211ba70d0","ref":"refs/heads/main","pushedAt":"2024-03-13T22:52:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add indentation when inserting tactics and update cursor position","shortMessageHtmlLink":"Add indentation when inserting tactics and update cursor position"}},{"before":"d6e964e16457c4966e25f17019ba47777538c360","after":"013bbfd6e2a85b010e6dcfa968bb431b02a185cc","ref":"refs/heads/main","pushedAt":"2024-03-13T08:06:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add precise rewriting and re-association","shortMessageHtmlLink":"Add precise rewriting and re-association"}},{"before":"1db1f18d59260b6a2dc250ccade6d944aeff43ce","after":"d6e964e16457c4966e25f17019ba47777538c360","ref":"refs/heads/main","pushedAt":"2024-03-13T07:59:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add precise rewriting and re-association","shortMessageHtmlLink":"Add precise rewriting and re-association"}},{"before":"67ab8bf7c973401a50bbdc6ff748cbcccc8330f1","after":"1db1f18d59260b6a2dc250ccade6d944aeff43ce","ref":"refs/heads/main","pushedAt":"2024-03-08T06:17:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"990fd02c42df562c5974b26b8e90aa072a21d671","after":"67ab8bf7c973401a50bbdc6ff748cbcccc8330f1","ref":"refs/heads/main","pushedAt":"2024-03-08T06:15:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Add rewrite rules for the Monad eta natural transformation","shortMessageHtmlLink":"Add rewrite rules for the Monad eta natural transformation"}},{"before":"b0cbc794aeba417e7367e8c6603bc3ff70d5aa7a","after":"990fd02c42df562c5974b26b8e90aa072a21d671","ref":"refs/heads/main","pushedAt":"2024-03-06T22:35:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dignissimus","name":"Sam Ezeh","path":"/dignissimus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18627392?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yN1QyMjoyMzo0NS4wMDAwMDBazwAAAARxT0qK","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yN1QyMjoyMzo0NS4wMDAwMDBazwAAAARxT0qK","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wNlQyMjozNToyMS4wMDAwMDBazwAAAAQOc18Z"}},"title":"Activity · dignissimus/Untangle"}