{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":507088013,"defaultBranch":"main","name":"AlgebraicRewriting.jl","ownerLogin":"AlgebraicJulia","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-24T17:11:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/62577972?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718737761.0","currentOid":""},"activityList":{"items":[{"before":"e4fa4472dd7ef40e54e089ad2a6c463be76db959","after":"2a5217e14a1145c168db67b659b89c973d7964df","ref":"refs/heads/gh-pages","pushedAt":"2024-06-18T19:26:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on e47c31c","shortMessageHtmlLink":"build based on e47c31c"}},{"before":"47183f3a25349499b671923d5818ba8f349fc938","after":null,"ref":"refs/heads/simplify_pbpo","pushedAt":"2024-06-18T19:09:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"}},{"before":"7413d6becd1840c454a9a5f32de21ea6a15a650e","after":"e47c31c40c61b3667fb831a6b2bc918a5644754e","ref":"refs/heads/main","pushedAt":"2024-06-18T19:09:18.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"Merge pull request #69 from AlgebraicJulia/simplify_pbpo\n\nSimplify PBPO+ rewriting","shortMessageHtmlLink":"Merge pull request #69 from AlgebraicJulia/simplify_pbpo"}},{"before":null,"after":"47183f3a25349499b671923d5818ba8f349fc938","ref":"refs/heads/simplify_pbpo","pushedAt":"2024-06-18T18:31:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"Replace homsearch with a composition","shortMessageHtmlLink":"Replace homsearch with a composition"}},{"before":"5765ac9c0aed4415819b78390be2d4d4878f3cce","after":"e4fa4472dd7ef40e54e089ad2a6c463be76db959","ref":"refs/heads/gh-pages","pushedAt":"2024-06-02T01:10:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 7413d6b","shortMessageHtmlLink":"build based on 7413d6b"}},{"before":"fc31a7d5a53514767282b2934ed17ef50ad983ed","after":"5765ac9c0aed4415819b78390be2d4d4878f3cce","ref":"refs/heads/gh-pages","pushedAt":"2024-06-01T20:58:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 7413d6b","shortMessageHtmlLink":"build based on 7413d6b"}},{"before":"26367ee988e8565926766041dcbc1df005ccd25d","after":"fc31a7d5a53514767282b2934ed17ef50ad983ed","ref":"refs/heads/gh-pages","pushedAt":"2024-06-01T20:51:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 29b3bc1","shortMessageHtmlLink":"build based on 29b3bc1"}},{"before":"29b3bc1593741913895532fc298955a3b9aa300f","after":"7413d6becd1840c454a9a5f32de21ea6a15a650e","ref":"refs/heads/main","pushedAt":"2024-06-01T20:42:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"remove print statements","shortMessageHtmlLink":"remove print statements"}},{"before":"24e36ceece2d76c7f5481e428fd5d6d57b60ac6a","after":"29b3bc1593741913895532fc298955a3b9aa300f","ref":"refs/heads/main","pushedAt":"2024-06-01T20:35:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"Update Project.toml\n\nBump version","shortMessageHtmlLink":"Update Project.toml"}},{"before":null,"after":"dc47c7f551d56cd7e081532ae0a3d7847d14b545","ref":"refs/heads/compathelper/new_version/2024-05-31-00-56-18-857-03694567219","pushedAt":"2024-05-31T00:56:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"algebraicjuliabot","name":"AlgebraicJulia Bot","path":"/algebraicjuliabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129184742?s=80&v=4"},"commit":{"message":"CompatHelper: bump compat for DataMigrations in [weakdeps] to 0.1, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: bump compat for DataMigrations in [weakdeps] to 0.1, (k…"}},{"before":"9605a0d39e71b5e460065b6bbaf23e773ef83735","after":"26367ee988e8565926766041dcbc1df005ccd25d","ref":"refs/heads/gh-pages","pushedAt":"2024-05-26T15:16:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 24e36ce","shortMessageHtmlLink":"build based on 24e36ce"}},{"before":"5496c9429e9adf7b9ceb4cea9cd6187efeb825c4","after":"24e36ceece2d76c7f5481e428fd5d6d57b60ac6a","ref":"refs/heads/main","pushedAt":"2024-05-26T15:00:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"uncomment LSet test","shortMessageHtmlLink":"uncomment LSet test"}},{"before":null,"after":"9996450c47b0cbc8f25ff1d5cdb092e149056eb0","ref":"refs/heads/compathelper/new_version/2024-05-25-00-53-57-930-01045722092","pushedAt":"2024-05-25T00:53:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"algebraicjuliabot","name":"AlgebraicJulia Bot","path":"/algebraicjuliabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129184742?s=80&v=4"},"commit":{"message":"CompatHelper: add new compat entry for Luxor in [weakdeps] at version 4, (keep existing compat)","shortMessageHtmlLink":"CompatHelper: add new compat entry for Luxor in [weakdeps] at version…"}},{"before":"167343cf7ee2bd39e0dd9ac28b3050d353996068","after":"9605a0d39e71b5e460065b6bbaf23e773ef83735","ref":"refs/heads/gh-pages","pushedAt":"2024-05-21T19:36:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 5496c94","shortMessageHtmlLink":"build based on 5496c94"}},{"before":"599a3dd8eb133bb424546147b1d0db086ca7b226","after":null,"ref":"refs/heads/presentation_migration","pushedAt":"2024-05-21T19:28:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"}},{"before":"b32e2c942f74727513d4d03579808e846f92a0c4","after":"5496c9429e9adf7b9ceb4cea9cd6187efeb825c4","ref":"refs/heads/main","pushedAt":"2024-05-21T19:20:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"Merge pull request #64 from AlgebraicJulia/presentation_migration\n\nadd presentation data to Migration","shortMessageHtmlLink":"Merge pull request #64 from AlgebraicJulia/presentation_migration"}},{"before":null,"after":"599a3dd8eb133bb424546147b1d0db086ca7b226","ref":"refs/heads/presentation_migration","pushedAt":"2024-05-21T18:42:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"add presentation data to Migration","shortMessageHtmlLink":"add presentation data to Migration"}},{"before":"9b1be51af6c23d44750710f23da37fa563d042bc","after":"167343cf7ee2bd39e0dd9ac28b3050d353996068","ref":"refs/heads/gh-pages","pushedAt":"2024-05-21T18:23:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on b32e2c9","shortMessageHtmlLink":"build based on b32e2c9"}},{"before":"2960db3fa6a8a66ee2b48bbede0b47bfc221b4f9","after":"b32e2c942f74727513d4d03579808e846f92a0c4","ref":"refs/heads/main","pushedAt":"2024-05-21T18:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"index additions via ACSetHomomorphism key","shortMessageHtmlLink":"index additions via ACSetHomomorphism key"}},{"before":"40325df080f24a425c7a37b9558a23616c37ff53","after":"9b1be51af6c23d44750710f23da37fa563d042bc","ref":"refs/heads/gh-pages","pushedAt":"2024-05-21T07:18:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 2960db3","shortMessageHtmlLink":"build based on 2960db3"}},{"before":"e5b2bf738390aa94254ea92b08ccc8dd4d035a1c","after":"2960db3fa6a8a66ee2b48bbede0b47bfc221b4f9","ref":"refs/heads/main","pushedAt":"2024-05-21T07:02:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"small PAC new hom detection fix","shortMessageHtmlLink":"small PAC new hom detection fix"}},{"before":"91f6a05de747810ef03232a4778e3adb5f7c72be","after":"40325df080f24a425c7a37b9558a23616c37ff53","ref":"refs/heads/gh-pages","pushedAt":"2024-05-20T11:26:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on e5b2bf7","shortMessageHtmlLink":"build based on e5b2bf7"}},{"before":"a9350106c6b158f8c296d122c1c848bb6a96d032","after":"e5b2bf738390aa94254ea92b08ccc8dd4d035a1c","ref":"refs/heads/main","pushedAt":"2024-05-20T11:10:29.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"Merge pull request #62 from AlgebraicJulia/incremental_constraints\n\nIncremental hom search with constraints","shortMessageHtmlLink":"Merge pull request #62 from AlgebraicJulia/incremental_constraints"}},{"before":"504f2bb1b01d14a9d7cd0d7da627f0d7d0fec6e6","after":"a0a983c9094f21cfe4355a777e01cdb8d980e8b3","ref":"refs/heads/incremental_constraints","pushedAt":"2024-05-20T11:10:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"add comment","shortMessageHtmlLink":"add comment"}},{"before":null,"after":"504f2bb1b01d14a9d7cd0d7da627f0d7d0fec6e6","ref":"refs/heads/incremental_constraints","pushedAt":"2024-05-19T21:11:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"incremental positive application conditions","shortMessageHtmlLink":"incremental positive application conditions"}},{"before":"2d4950dc0046fe7a498cad8a2cc095472d6bc5dc","after":"91f6a05de747810ef03232a4778e3adb5f7c72be","ref":"refs/heads/gh-pages","pushedAt":"2024-05-12T10:56:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on a935010","shortMessageHtmlLink":"build based on a935010"}},{"before":"e4425225d644de4582f969a161c7d7a887b5c4a1","after":null,"ref":"refs/heads/coerce_inchomsets","pushedAt":"2024-05-12T10:42:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"}},{"before":"8d6feacd8afbd4686ca6c1fa0d04bdc7da3455fc","after":"2d4950dc0046fe7a498cad8a2cc095472d6bc5dc","ref":"refs/heads/gh-pages","pushedAt":"2024-05-12T10:35:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on a935010","shortMessageHtmlLink":"build based on a935010"}},{"before":"e5263d1edc4792dea32e95ae8932c10b00e71eba","after":"8d6feacd8afbd4686ca6c1fa0d04bdc7da3455fc","ref":"refs/heads/gh-pages","pushedAt":"2024-05-12T10:34:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"build based on 552a69d","shortMessageHtmlLink":"build based on 552a69d"}},{"before":"552a69df3d26b795bf50220733c433a85fdff39b","after":"a9350106c6b158f8c296d122c1c848bb6a96d032","ref":"refs/heads/main","pushedAt":"2024-05-12T10:19:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kris-brown","name":"Kris Brown","path":"/kris-brown","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/27834499?s=80&v=4"},"commit":{"message":"bump version","shortMessageHtmlLink":"bump version"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaNPcMQA","startCursor":null,"endCursor":null}},"title":"Activity · AlgebraicJulia/AlgebraicRewriting.jl"}