{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":838187068,"defaultBranch":"main","name":"dahlia","ownerLogin":"kjx","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-08-05T06:05:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1917107?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725994517.0","currentOid":""},"activityList":{"items":[{"before":"9d4bb82ee86580e5eece3665ea25956590e0d053","after":"9348c3e5b95b242c1707e18472dc79fcb1fbebd3","ref":"refs/heads/multiowners","pushedAt":"2024-09-27T03:37:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"burning while rome fiddles","shortMessageHtmlLink":"burning while rome fiddles"}},{"before":"6a15e4bd1970d12f3881d0348cc7f90b351e4eca","after":"9d4bb82ee86580e5eece3665ea25956590e0d053","ref":"refs/heads/multiowners","pushedAt":"2024-09-27T03:30:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"fiddling while rome burns","shortMessageHtmlLink":"fiddling while rome burns"}},{"before":"956c50eed0430ba40d01ea4cc0cb2eb4fb1efb5e","after":"6a15e4bd1970d12f3881d0348cc7f90b351e4eca","ref":"refs/heads/multiowners","pushedAt":"2024-09-25T09:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) Klon resolves but loops, loops, loops","shortMessageHtmlLink":"(WIP) Klon resolves but loops, loops, loops"}},{"before":"4a742323fead63d84d114d6d87e4cd0ef5a9323a","after":"7451d2408548fccbf6f8a3e8b5c142e25a3a1f35","ref":"refs/heads/main","pushedAt":"2024-09-25T09:20:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"umm, not sure what's going on here","shortMessageHtmlLink":"umm, not sure what's going on here"}},{"before":"ae5b499d337e43c986b591777a1d1e3e173f714d","after":"956c50eed0430ba40d01ea4cc0cb2eb4fb1efb5e","ref":"refs/heads/multiowners","pushedAt":"2024-09-24T11:14:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"verifies and runs *without* Klon","shortMessageHtmlLink":"verifies and runs *without* Klon"}},{"before":"7ee2df6ac3a5d3062e6dcff9f42a178432489b65","after":"ae5b499d337e43c986b591777a1d1e3e173f714d","ref":"refs/heads/multiowners","pushedAt":"2024-09-19T09:42:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"runs and passes tests- dafny run --no-verify --allow-warnings  dfyconfig.toml","shortMessageHtmlLink":"runs and passes tests- dafny run --no-verify --allow-warnings dfyconf…"}},{"before":"f7b76ff0ce938a68fefa0741bac66c8ec7dc5134","after":"7ee2df6ac3a5d3062e6dcff9f42a178432489b65","ref":"refs/heads/multiowners","pushedAt":"2024-09-19T09:39:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"renames iso to VMap (inVertible map)","shortMessageHtmlLink":"renames iso to VMap (inVertible map)"}},{"before":"4a742323fead63d84d114d6d87e4cd0ef5a9323a","after":"f7b76ff0ce938a68fefa0741bac66c8ec7dc5134","ref":"refs/heads/multiowners","pushedAt":"2024-09-18T00:58:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) verifies without Klon, not tested tho","shortMessageHtmlLink":"(WIP) verifies without Klon, not tested tho"}},{"before":null,"after":"4a742323fead63d84d114d6d87e4cd0ef5a9323a","ref":"refs/heads/multiowners","pushedAt":"2024-09-10T18:55:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"prints test matrxen for inside and refOK","shortMessageHtmlLink":"prints test matrxen for inside and refOK"}},{"before":"642aad6b19336c1fa990485a5c81a087d49d50de","after":"4a742323fead63d84d114d6d87e4cd0ef5a9323a","ref":"refs/heads/main","pushedAt":"2024-09-10T18:51:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"prints test matrxen for inside and refOK","shortMessageHtmlLink":"prints test matrxen for inside and refOK"}},{"before":"9598ad8514266d3f1da13600753a55d405c16b8d","after":"642aad6b19336c1fa990485a5c81a087d49d50de","ref":"refs/heads/main","pushedAt":"2024-09-07T09:31:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) trying to get amfo / extra clone to prove","shortMessageHtmlLink":"(WIP) trying to get amfo / extra clone to prove"}},{"before":"f31c846c9433ef74f7b6315847c207919c42e2a5","after":"9598ad8514266d3f1da13600753a55d405c16b8d","ref":"refs/heads/main","pushedAt":"2024-09-06T02:23:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) fucking about. can't believe this is taking so fucking long","shortMessageHtmlLink":"(WIP) fucking about. can't believe this is taking so fucking long"}},{"before":"7d4a19739b4a415ade7e66fdea1e6163dfe004de","after":"f31c846c9433ef74f7b6315847c207919c42e2a5","ref":"refs/heads/main","pushedAt":"2024-09-02T10:12:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"add fresh to cake","shortMessageHtmlLink":"add fresh to cake"}},{"before":"d8a737e57379ab6179a381405e35cf737e7d9823","after":"7d4a19739b4a415ade7e66fdea1e6163dfe004de","ref":"refs/heads/main","pushedAt":"2024-09-01T23:45:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"adds Main - dunno why so late","shortMessageHtmlLink":"adds Main - dunno why so late"}},{"before":"f26d447527198cd4ee0cdaa6698707b209feac15","after":"d8a737e57379ab6179a381405e35cf737e7d9823","ref":"refs/heads/main","pushedAt":"2024-09-01T22:58:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"Revert \"(WIP) adds clonedFrom - whcih makes no sense. shoiuld proably back this one out adn carry on\"\n\nf26d447527198cd4ee0cdaa6698707b209feac15","shortMessageHtmlLink":"Revert \"(WIP) adds clonedFrom - whcih makes no sense. shoiuld proably…"}},{"before":"e9aa8366f5652f9612333e0e6378db105a8a3bc2","after":"f26d447527198cd4ee0cdaa6698707b209feac15","ref":"refs/heads/main","pushedAt":"2024-09-01T10:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) adds clonedFrom - whcih makes no sense. shoiuld proably back this one out adn carry on","shortMessageHtmlLink":"(WIP) adds clonedFrom - whcih makes no sense. shoiuld proably back th…"}},{"before":"7a641f3b75928ad15a436af95ec59704949350d5","after":"e9aa8366f5652f9612333e0e6378db105a8a3bc2","ref":"refs/heads/main","pushedAt":"2024-08-31T12:11:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) proves kaTHUMP spike","shortMessageHtmlLink":"(WIP) proves kaTHUMP spike"}},{"before":"d34c24fe61d90c2fd7a3c98e07869a057a444bf4","after":"7a641f3b75928ad15a436af95ec59704949350d5","ref":"refs/heads/main","pushedAt":"2024-08-31T11:45:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) done multi owners except for kaTHUMP and Clone_Insife_Heap","shortMessageHtmlLink":"(WIP) done multi owners except for kaTHUMP and Clone_Insife_Heap"}},{"before":"d691a03b353a9d1a611f68c74cdec960d96c9ce0","after":"d34c24fe61d90c2fd7a3c98e07869a057a444bf4","ref":"refs/heads/main","pushedAt":"2024-08-21T10:59:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"builds clean with Clone_Extra","shortMessageHtmlLink":"builds clean with Clone_Extra"}},{"before":"f97fb5a8bec9b529b8c57c85be4e47aca2feb120","after":"d691a03b353a9d1a611f68c74cdec960d96c9ce0","ref":"refs/heads/main","pushedAt":"2024-08-19T06:41:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) geting close to cloning multiple owners without doing it","shortMessageHtmlLink":"(WIP) geting close to cloning multiple owners without doing it"}},{"before":"96b0101b42deaf8791ef287075c44bf333f385cd","after":"f97fb5a8bec9b529b8c57c85be4e47aca2feb120","ref":"refs/heads/main","pushedAt":"2024-08-09T13:01:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) putInside verifies with xtra, rest of clone still to go","shortMessageHtmlLink":"(WIP) putInside verifies with xtra, rest of clone still to go"}},{"before":"97c49564fd5206a4fa7138d194ba4dad82de1512","after":"96b0101b42deaf8791ef287075c44bf333f385cd","ref":"refs/heads/main","pushedAt":"2024-08-07T13:04:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"(WIP) adds extra to AMFO","shortMessageHtmlLink":"(WIP) adds extra to AMFO"}},{"before":"a71dbb033360945251fe941ae996b1cf8d6cfb54","after":"97c49564fd5206a4fa7138d194ba4dad82de1512","ref":"refs/heads/main","pushedAt":"2024-08-07T03:01:53.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"refactor out so Klon (and Printing) are optional","shortMessageHtmlLink":"refactor out so Klon (and Printing) are optional"}},{"before":"3c516afc477d091d7fadb13f4e0b99a1be12cb97","after":"a71dbb033360945251fe941ae996b1cf8d6cfb54","ref":"refs/heads/main","pushedAt":"2024-08-06T10:02:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"deprecate AOK/AllOK","shortMessageHtmlLink":"deprecate AOK/AllOK"}},{"before":"feed7835e3dfa0d6bedd7da73244dfaa8008a989","after":"3c516afc477d091d7fadb13f4e0b99a1be12cb97","ref":"refs/heads/main","pushedAt":"2024-08-05T13:44:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"initial commit","shortMessageHtmlLink":"initial commit"}},{"before":null,"after":"feed7835e3dfa0d6bedd7da73244dfaa8008a989","ref":"refs/heads/main","pushedAt":"2024-08-05T06:05:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kjx","name":"James \"kjx\" Noble ","path":"/kjx","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1917107?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yN1QwMzozNzo1OS4wMDAwMDBazwAAAATCKYQT","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQwNjowNToyOS4wMDAwMDBazwAAAASRrfG1"}},"title":"Activity · kjx/dahlia"}