{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":456680590,"defaultBranch":"main","name":"egglog","ownerLogin":"egraphs-good","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-02-07T21:19:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71104912?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726192367.0","currentOid":""},"activityList":{"items":[{"before":"d9dbddc41b30db9d277776b444237a9d94782caa","after":"1cbbfd669dd2b9eb9c0431c21d17499515de7cf5","ref":"refs/heads/gh-pages","pushedAt":"2024-09-18T17:58:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 8d9b10ec712106b21d10b7bf45d10c0f9d1d09c7","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/8d9b10ec712106b21d10b7bf45d10c0f9d1d09c7/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/8d9b10ec712106b21d10b7bf45d10c0f9d1d09c7\"><tt>8d9b10e</tt></a>"}},{"before":"ae75bb70457a8b9cd7f64fdc69d29ee464cf5501","after":"8d9b10ec712106b21d10b7bf45d10c0f9d1d09c7","ref":"refs/heads/main","pushedAt":"2024-09-18T17:56:21.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Merge pull request #424 from saulshanabrook/serialized-subsume\n\nSerialize Whether Nodes Subsumed","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2520991640\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/424\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/424/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/424\">#424</a> from saulshanabrook/serialized-subsume"}},{"before":"70e5bdda887e702a9ad3f726719edfbdcf150052","after":"2e1db76ddd47ceff87e3c6bb05a8cd927656bbcb","ref":"refs/heads/release-0.3.0","pushedAt":"2024-09-13T01:56:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"add non-existent link","shortMessageHtmlLink":"add non-existent link"}},{"before":"ae75bb70457a8b9cd7f64fdc69d29ee464cf5501","after":"70e5bdda887e702a9ad3f726719edfbdcf150052","ref":"refs/heads/release-0.3.0","pushedAt":"2024-09-13T01:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Prepare for v0.3.0","shortMessageHtmlLink":"Prepare for v0.3.0"}},{"before":null,"after":"ae75bb70457a8b9cd7f64fdc69d29ee464cf5501","ref":"refs/heads/release-0.3.0","pushedAt":"2024-09-13T01:52:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge pull request #407 from saulshanabrook/serialize-move-split-primitives\n\nMove splitting primitives to serialize library","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2451656203\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/407\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/407/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/407\">#407</a> from saulshanabrook/serialize-move-split-prim…"}},{"before":"7821b03a5e4e37f4116df02a959ac2bf3839dc16","after":"d9dbddc41b30db9d277776b444237a9d94782caa","ref":"refs/heads/gh-pages","pushedAt":"2024-09-11T23:05:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: ae75bb70457a8b9cd7f64fdc69d29ee464cf5501","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/ae75bb70457a8b9cd7f64fdc69d29ee464cf5501/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/ae75bb70457a8b9cd7f64fdc69d29ee464cf5501\"><tt>ae75bb7</tt></a>"}},{"before":"757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a","after":"ae75bb70457a8b9cd7f64fdc69d29ee464cf5501","ref":"refs/heads/main","pushedAt":"2024-09-11T23:03:11.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Merge pull request #407 from saulshanabrook/serialize-move-split-primitives\n\nMove splitting primitives to serialize library","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2451656203\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/407\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/407/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/407\">#407</a> from saulshanabrook/serialize-move-split-prim…"}},{"before":"5bc15044699d9797575ab16afed1be1f021898c8","after":"b424a0b9c23bd404bf1a079068900eb6e8399fc0","ref":"refs/heads/report-error-in-repl-mode","pushedAt":"2024-08-24T18:36:57.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"extract may fail","shortMessageHtmlLink":"extract may fail"}},{"before":"5f1afd5ffde62148e8e5d083175ee0cab8e2be38","after":"7821b03a5e4e37f4116df02a959ac2bf3839dc16","ref":"refs/heads/gh-pages","pushedAt":"2024-08-23T00:13:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a\"><tt>757c52f</tt></a>"}},{"before":"b04953f76626a16f7562241dc5f5735fb0248d6e","after":"757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a","ref":"refs/heads/main","pushedAt":"2024-08-23T00:11:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge pull request #419 from egraphs-good/cleanup-declare\n\nRemove `declare` since it's dead code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2481890084\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/419\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/419/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/419\">#419</a> from egraphs-good/cleanup-declare"}},{"before":"09a4e8c3d6742c469330ce96bfaf367112407234","after":"803f3998a0ac7f9feec0be7079f3dc248adeec12","ref":"refs/heads/cleanup-declare","pushedAt":"2024-08-22T22:17:30.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge branch 'main' into cleanup-declare","shortMessageHtmlLink":"Merge branch 'main' into cleanup-declare"}},{"before":"c4834e423ebee8e323a65629bb151754431b667d","after":"5f1afd5ffde62148e8e5d083175ee0cab8e2be38","ref":"refs/heads/gh-pages","pushedAt":"2024-08-22T22:07:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: b04953f76626a16f7562241dc5f5735fb0248d6e","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/b04953f76626a16f7562241dc5f5735fb0248d6e/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/b04953f76626a16f7562241dc5f5735fb0248d6e\"><tt>b04953f</tt></a>"}},{"before":"fe50c1a0f0afd5dd2e589b36fbe40f6a8071bc7d","after":"b04953f76626a16f7562241dc5f5735fb0248d6e","ref":"refs/heads/main","pushedAt":"2024-08-22T22:05:57.000Z","pushType":"pr_merge","commitsCount":14,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge pull request #398 from egraphs-good/yihozhang-error-reporting\n\nReporting source locations for errors","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426865994\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/398\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/398/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/398\">#398</a> from egraphs-good/yihozhang-error-reporting"}},{"before":null,"after":"09a4e8c3d6742c469330ce96bfaf367112407234","ref":"refs/heads/cleanup-declare","pushedAt":"2024-08-22T22:03:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"remove declare fn","shortMessageHtmlLink":"remove declare fn"}},{"before":"a9ef260eb02d333ec34715604ea65b1701701971","after":"165f5c4a2ac8f2ca0a318877434fa7305ab716fd","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-22T22:01:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin' into yihozhang-error-reporting","shortMessageHtmlLink":"Merge remote-tracking branch 'origin' into yihozhang-error-reporting"}},{"before":"039a6725782bc106eb6a03fa7203c6b309c3b8c5","after":"a9ef260eb02d333ec34715604ea65b1701701971","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-22T21:52:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"add source locations to CheckError, NoSuchRuleset, CombinedRulesetError","shortMessageHtmlLink":"add source locations to CheckError, NoSuchRuleset, CombinedRulesetError"}},{"before":"8f962beab690b17022e25302107cddf0d5aa5cc7","after":"039a6725782bc106eb6a03fa7203c6b309c3b8c5","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-22T21:31:16.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"incorporate feedbacks","shortMessageHtmlLink":"incorporate feedbacks"}},{"before":"53e9f6092721a3594df1ffd7da22b95181d293ee","after":"c4834e423ebee8e323a65629bb151754431b667d","ref":"refs/heads/gh-pages","pushedAt":"2024-08-22T20:45:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: fe50c1a0f0afd5dd2e589b36fbe40f6a8071bc7d","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/fe50c1a0f0afd5dd2e589b36fbe40f6a8071bc7d/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/fe50c1a0f0afd5dd2e589b36fbe40f6a8071bc7d\"><tt>fe50c1a</tt></a>"}},{"before":"601b17f644f5d2cc46476ea72fd9ad1976d44ce0","after":"fe50c1a0f0afd5dd2e589b36fbe40f6a8071bc7d","ref":"refs/heads/main","pushedAt":"2024-08-22T20:43:58.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge pull request #418 from oflatt/oflatt-remove-declare\n\nRemove declare and calc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2476521596\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/418\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/418/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/418\">#418</a> from oflatt/oflatt-remove-declare"}},{"before":null,"after":"5bc15044699d9797575ab16afed1be1f021898c8","ref":"refs/heads/report-error-in-repl-mode","pushedAt":"2024-08-20T00:54:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Report errors to stdout in REPL mode","shortMessageHtmlLink":"Report errors to stdout in REPL mode"}},{"before":"36bcdd5f0b60afa57d99812e5588f8dedd8aac92","after":"8f962beab690b17022e25302107cddf0d5aa5cc7","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-16T23:01:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"add filename","shortMessageHtmlLink":"add filename"}},{"before":"8df581d5642872db4e86833245c3dc01ae9bd7ae","after":"36bcdd5f0b60afa57d99812e5588f8dedd8aac92","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-15T21:42:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"nits","shortMessageHtmlLink":"nits"}},{"before":"7716eb766d33c30d5fac0fec24cce895b91756f7","after":"53e9f6092721a3594df1ffd7da22b95181d293ee","ref":"refs/heads/gh-pages","pushedAt":"2024-08-15T21:41:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 601b17f644f5d2cc46476ea72fd9ad1976d44ce0","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/601b17f644f5d2cc46476ea72fd9ad1976d44ce0/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/601b17f644f5d2cc46476ea72fd9ad1976d44ce0\"><tt>601b17f</tt></a>"}},{"before":"994d8c366b10905b8aa0011c63662696a3dc23ae","after":"8df581d5642872db4e86833245c3dc01ae9bd7ae","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-15T21:40:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"improve doc for parse_and_run_program","shortMessageHtmlLink":"improve doc for parse_and_run_program"}},{"before":"d4268636f526a57ebd2895429759a2b149a1f30e","after":null,"ref":"refs/heads/use-external-d3-graphviz","pushedAt":"2024-08-15T21:39:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"}},{"before":"28595610c30f2e759b3ae0987fa2bb4bc4ddf667","after":"601b17f644f5d2cc46476ea72fd9ad1976d44ce0","ref":"refs/heads/main","pushedAt":"2024-08-15T21:39:40.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"saulshanabrook","name":"Saul Shanabrook","path":"/saulshanabrook","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1186124?s=80&v=4"},"commit":{"message":"Merge pull request #415 from egraphs-good/use-external-d3-graphviz\n\nUse hosted d3-graphviz library","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2469004850\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egglog/issues/415\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egglog/pull/415/hovercard\" href=\"https://github.com/egraphs-good/egglog/pull/415\">#415</a> from egraphs-good/use-external-d3-graphviz"}},{"before":null,"after":"d4268636f526a57ebd2895429759a2b149a1f30e","ref":"refs/heads/use-external-d3-graphviz","pushedAt":"2024-08-15T21:31:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Use hosted d3-graphviz library","shortMessageHtmlLink":"Use hosted d3-graphviz library"}},{"before":"00049b343f99082458fbe3a306745eaa8c57a0ff","after":"994d8c366b10905b8aa0011c63662696a3dc23ae","ref":"refs/heads/yihozhang-error-reporting","pushedAt":"2024-08-15T21:07:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"nits","shortMessageHtmlLink":"nits"}},{"before":"79046b668dfe0b1b2432bf9b33d1bd05ea78c7f0","after":"7716eb766d33c30d5fac0fec24cce895b91756f7","ref":"refs/heads/gh-pages","pushedAt":"2024-08-15T13:35:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 28595610c30f2e759b3ae0987fa2bb4bc4ddf667","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/28595610c30f2e759b3ae0987fa2bb4bc4ddf667/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/28595610c30f2e759b3ae0987fa2bb4bc4ddf667\"><tt>2859561</tt></a>"}},{"before":"35e45299ae92916971375691e15c92b6313dc013","after":"79046b668dfe0b1b2432bf9b33d1bd05ea78c7f0","ref":"refs/heads/gh-pages","pushedAt":"2024-08-15T13:35:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"deploy: 73cb2d90870f8b55fd4867cdf3116e80c25c2ece","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egglog/commit/73cb2d90870f8b55fd4867cdf3116e80c25c2ece/hovercard\" href=\"https://github.com/egraphs-good/egglog/commit/73cb2d90870f8b55fd4867cdf3116e80c25c2ece\"><tt>73cb2d9</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxNzo1ODowMS4wMDAwMDBazwAAAAS6AwNV","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQxNzo1ODowMS4wMDAwMDBazwAAAAS6AwNV","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xNVQxMzozNToxOS4wMDAwMDBazwAAAASbOpMJ"}},"title":"Activity · egraphs-good/egglog"}