{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":620420724,"defaultBranch":"master","name":"kaplanski4","ownerLogin":"riccardobrasca","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-28T16:40:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32490532?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716279700.0","currentOid":""},"activityList":{"items":[{"before":"76741b7ecd60c7549882b612ae6ccb489bf8560b","after":"8ce06ea30eebf3d860376bd64d58163730445d82","ref":"refs/heads/master","pushedAt":"2024-05-28T14:07:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"golf","shortMessageHtmlLink":"golf"}},{"before":"8cbbdffde21b4048348cf12f6f5c038dc460aa42","after":"76741b7ecd60c7549882b612ae6ccb489bf8560b","ref":"refs/heads/master","pushedAt":"2024-05-27T15:51:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"golf","shortMessageHtmlLink":"golf"}},{"before":null,"after":"538c19ed14bfc130a32ab8011d22c5bbd00e71cf","ref":"refs/heads/induction","pushedAt":"2024-05-21T08:21:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"induction","shortMessageHtmlLink":"induction"}},{"before":"e5168207d13f93dc772731947d01fcbeb0e461a7","after":"8cbbdffde21b4048348cf12f6f5c038dc460aa42","ref":"refs/heads/master","pushedAt":"2024-05-19T10:37:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"no more Associated","shortMessageHtmlLink":"no more Associated"}},{"before":"2fa48a9190cf4ff5d35ca3cc1d4ba1f8829da1a5","after":"e5168207d13f93dc772731947d01fcbeb0e461a7","ref":"refs/heads/master","pushedAt":"2024-04-03T19:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"changed proof and added 2 results","shortMessageHtmlLink":"changed proof and added 2 results"}},{"before":"2511238e796c9f2c18d14ad357a69ce5c9855268","after":"2fa48a9190cf4ff5d35ca3cc1d4ba1f8829da1a5","ref":"refs/heads/master","pushedAt":"2024-03-22T15:41:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://github.com/riccardobrasca/kaplanski4","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://github.com/riccardobrasca/kaplanski4\">https://github.com/riccardobrasca/kaplanski4</a>"}},{"before":"54ba6781d0ade9c2495ae37cf597adf9fbeaaba7","after":"2511238e796c9f2c18d14ad357a69ce5c9855268","ref":"refs/heads/master","pushedAt":"2024-03-22T15:21:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"1616f8590d94fb5dbf146bf86e8006549cde596b","after":"54ba6781d0ade9c2495ae37cf597adf9fbeaaba7","ref":"refs/heads/master","pushedAt":"2024-03-22T15:21:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"Delete .lake directory","shortMessageHtmlLink":"Delete .lake directory"}},{"before":"a4004ce32351026b2175312b17118d283e4d7c5a","after":"1616f8590d94fb5dbf146bf86e8006549cde596b","ref":"refs/heads/master","pushedAt":"2024-03-07T15:16:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"golf","shortMessageHtmlLink":"golf"}},{"before":"a9ae57cf120f04e8cc5b44585c85e739ce43b674","after":"a4004ce32351026b2175312b17118d283e4d7c5a","ref":"refs/heads/master","pushedAt":"2024-03-07T14:24:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"remove","shortMessageHtmlLink":"remove"}},{"before":"5e776497099c17b92f069ef9bac07ecd7f0e15d3","after":"a9ae57cf120f04e8cc5b44585c85e739ce43b674","ref":"refs/heads/master","pushedAt":"2024-03-07T14:23:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"useless","shortMessageHtmlLink":"useless"}},{"before":"da68b9735ca68cc06563baa544b766cbd5caa1e8","after":"5e776497099c17b92f069ef9bac07ecd7f0e15d3","ref":"refs/heads/master","pushedAt":"2024-03-07T14:22:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"useless","shortMessageHtmlLink":"useless"}},{"before":"207172084b87dfdc1574fec4c68ec407892ce225","after":"da68b9735ca68cc06563baa544b766cbd5caa1e8","ref":"refs/heads/master","pushedAt":"2024-02-21T14:01:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"readability","shortMessageHtmlLink":"readability"}},{"before":"9b366027aa0a3d2d7ac7c30093fcada08c2e7636","after":"207172084b87dfdc1574fec4c68ec407892ce225","ref":"refs/heads/master","pushedAt":"2024-02-20T23:42:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"notation","shortMessageHtmlLink":"notation"}},{"before":"46a4b305dba5d9238909cf148dab3ae0ec59e48a","after":"9b366027aa0a3d2d7ac7c30093fcada08c2e7636","ref":"refs/heads/master","pushedAt":"2024-02-20T15:31:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"generalization Zorn","shortMessageHtmlLink":"generalization Zorn"}},{"before":"f038ef977f55a7d829ad3fcde20534be7a31e713","after":"46a4b305dba5d9238909cf148dab3ae0ec59e48a","ref":"refs/heads/master","pushedAt":"2024-02-20T11:47:00.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"generalization to Subsemigroup","shortMessageHtmlLink":"generalization to Subsemigroup"}},{"before":"98efd4b3ce82d94ebadce86ed9d88ce8cc75cd81","after":"f038ef977f55a7d829ad3fcde20534be7a31e713","ref":"refs/heads/master","pushedAt":"2024-02-19T14:25:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"bump","shortMessageHtmlLink":"bump"}},{"before":"248a56129a19a9977ad15192fc8bc177ae10a23a","after":"98efd4b3ce82d94ebadce86ed9d88ce8cc75cd81","ref":"refs/heads/master","pushedAt":"2023-09-18T07:41:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"golf","shortMessageHtmlLink":"golf"}},{"before":"fd99d3399ab29ddce9289d3310e62f60c2e7fbb1","after":"248a56129a19a9977ad15192fc8bc177ae10a23a","ref":"refs/heads/master","pushedAt":"2023-09-13T09:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"add notation","shortMessageHtmlLink":"add notation"}},{"before":"8b9661a1137767e05c452e79ad6d679865980a66","after":"fd99d3399ab29ddce9289d3310e62f60c2e7fbb1","ref":"refs/heads/master","pushedAt":"2023-09-13T09:05:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"better","shortMessageHtmlLink":"better"}},{"before":"687488baf273a59fa91e7c0cc466110f361604be","after":"8b9661a1137767e05c452e79ad6d679865980a66","ref":"refs/heads/master","pushedAt":"2023-09-13T08:51:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"fixes","shortMessageHtmlLink":"fixes"}},{"before":"a94e576c96bb94b845de8330820434157a3bf128","after":"687488baf273a59fa91e7c0cc466110f361604be","ref":"refs/heads/master","pushedAt":"2023-09-13T08:28:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"riccardobrasca","name":"Riccardo Brasca","path":"/riccardobrasca","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32490532?s=80&v=4"},"commit":{"message":"some fixes","shortMessageHtmlLink":"some fixes"}},{"before":"22daf17329c6fd42d6e5684851c8e1e208039804","after":"a94e576c96bb94b845de8330820434157a3bf128","ref":"refs/heads/master","pushedAt":"2023-09-12T22:17:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"Subsemigroup works","shortMessageHtmlLink":"Subsemigroup works"}},{"before":"569b7b62c4dc56a2f7aedbf62bafd7cf56ddcb05","after":"22daf17329c6fd42d6e5684851c8e1e208039804","ref":"refs/heads/master","pushedAt":"2023-09-12T21:30:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"comm not needed","shortMessageHtmlLink":"comm not needed"}},{"before":"eb0a56dff0c0c165e36fca3353122e3bac5bf3dd","after":"569b7b62c4dc56a2f7aedbf62bafd7cf56ddcb05","ref":"refs/heads/master","pushedAt":"2023-09-12T18:16:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"e24bac8bf0e151c0cd217095d96a9093a51006d9","after":"eb0a56dff0c0c165e36fca3353122e3bac5bf3dd","ref":"refs/heads/master","pushedAt":"2023-09-11T22:08:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"generalization and renaming","shortMessageHtmlLink":"generalization and renaming"}},{"before":"e7cd4e2e3f393eb089d35a2ffd9d5535a95cdaee","after":"e24bac8bf0e151c0cd217095d96a9093a51006d9","ref":"refs/heads/master","pushedAt":"2023-07-29T22:05:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"draft","shortMessageHtmlLink":"draft"}},{"before":"6a5cec72c3a149a531f770854895fcf33ddac3fe","after":"e7cd4e2e3f393eb089d35a2ffd9d5535a95cdaee","ref":"refs/heads/master","pushedAt":"2023-07-01T22:30:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"is this a diamond?","shortMessageHtmlLink":"is this a diamond?"}},{"before":"9f1361a68db643ad91cc94b7e6642c2acfb49e26","after":"6a5cec72c3a149a531f770854895fcf33ddac3fe","ref":"refs/heads/master","pushedAt":"2023-06-30T21:51:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"commutativity is necessary","shortMessageHtmlLink":"commutativity is necessary"}},{"before":"2f12e75f814c0ba035c4bd3bb2a5abb9282155f7","after":"9f1361a68db643ad91cc94b7e6642c2acfb49e26","ref":"refs/heads/master","pushedAt":"2023-06-30T15:05:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EmilieUthaiwat","name":null,"path":"/EmilieUthaiwat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/102412311?s=80&v=4"},"commit":{"message":"works for semiring","shortMessageHtmlLink":"works for semiring"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOFQxNDowNzoxMS4wMDAwMDBazwAAAARV7qt2","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0zMFQxNTowNToxNC4wMDAwMDBazwAAAANMYS1B"}},"title":"Activity · riccardobrasca/kaplanski4"}