{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":229336366,"defaultBranch":"main","name":"cooltt","ownerLogin":"RedPRL","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-12-20T21:06:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/16529381?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695656793.0","currentOid":""},"activityList":{"items":[{"before":"13eac74663aca9aa4b3f77d45d83a5bc66b94606","after":"b9bda4dc79db673ad1b9d2240838fd2ba2107039","ref":"refs/heads/gh-pages","pushedAt":"2023-10-21T17:39:40.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":"deploy: b39bf29900451cb43ae6fbd9af5aa33d59e18935","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/b39bf29900451cb43ae6fbd9af5aa33d59e18935/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/b39bf29900451cb43ae6fbd9af5aa33d59e18935\"><tt>b39bf29</tt></a>"}},{"before":"a5eaf4db195b5166a7102d47d42724f59cf3de19","after":"b39bf29900451cb43ae6fbd9af5aa33d59e18935","ref":"refs/heads/main","pushedAt":"2023-10-21T17:26:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"style: remove the last List.rev","shortMessageHtmlLink":"style: remove the last List.rev"}},{"before":"c4196fa6d7aab693510eeb1a3458f37614559450","after":"13eac74663aca9aa4b3f77d45d83a5bc66b94606","ref":"refs/heads/gh-pages","pushedAt":"2023-10-03T02:25:50.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":"deploy: a5eaf4db195b5166a7102d47d42724f59cf3de19","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/a5eaf4db195b5166a7102d47d42724f59cf3de19/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/a5eaf4db195b5166a7102d47d42724f59cf3de19\"><tt>a5eaf4d</tt></a>"}},{"before":"45c02d31eacdf52e1d083670d214f8ad36a10efc","after":"a5eaf4db195b5166a7102d47d42724f59cf3de19","ref":"refs/heads/main","pushedAt":"2023-10-03T02:12:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"docs(CONTRIBUTORS): actually use Markdown","shortMessageHtmlLink":"docs(CONTRIBUTORS): actually use Markdown"}},{"before":"d43b093fb357553e334889502e38243786b63bef","after":null,"ref":"refs/heads/add-contributor","pushedAt":"2023-09-25T15:46:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"}},{"before":"a4c1043dbb28d10fde314dca64b677883561ccbb","after":"45c02d31eacdf52e1d083670d214f8ad36a10efc","ref":"refs/heads/main","pushedAt":"2023-09-25T15:46:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"docs(CONTRIBUTORS): add Solomon Bothwell (#405)","shortMessageHtmlLink":"docs(CONTRIBUTORS): add Solomon Bothwell (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1911368182\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/405\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/405/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/405\">#405</a>)"}},{"before":null,"after":"d43b093fb357553e334889502e38243786b63bef","ref":"refs/heads/add-contributor","pushedAt":"2023-09-21T12:09:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"docs(CONTRIBUTORS): add Solomon Bothwell","shortMessageHtmlLink":"docs(CONTRIBUTORS): add Solomon Bothwell"}},{"before":"1bba64013d8e42a7da569068bc1fae62751f7674","after":"c4196fa6d7aab693510eeb1a3458f37614559450","ref":"refs/heads/gh-pages","pushedAt":"2023-09-20T09:49:51.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":"deploy: a4c1043dbb28d10fde314dca64b677883561ccbb","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/a4c1043dbb28d10fde314dca64b677883561ccbb/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/a4c1043dbb28d10fde314dca64b677883561ccbb\"><tt>a4c1043</tt></a>"}},{"before":"d28ea26e2ce1ef9cb0534cfd781f79a36778134b","after":null,"ref":"refs/heads/debug-directive","pushedAt":"2023-09-04T22:53:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"}},{"before":"18a00e130ba95402f84be8c6bb4c9131a71be8af","after":"a4c1043dbb28d10fde314dca64b677883561ccbb","ref":"refs/heads/main","pushedAt":"2023-09-04T22:53:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"🐛 🚫  Add #debug (#396)\n\n* Add a '#debug' directive\r\n\r\n* Syntax highlighting for '#debug'","shortMessageHtmlLink":"🐛 🚫 Add #debug (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1304056905\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/396\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/396/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/396\">#396</a>)"}},{"before":"b192cfd52167f13f4115c9419a51844632bc9b37","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2023-09-04T22:53:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"}},{"before":"ce1ba9041cdcee577ea02591f27462dbe6c8e13c","after":"18a00e130ba95402f84be8c6bb4c9131a71be8af","ref":"refs/heads/main","pushedAt":"2023-09-04T22:53:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4 (#404)\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\r\n- [Release notes](https://github.com/actions/checkout/releases)\r\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\r\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\r\n\r\n---\r\nupdated-dependencies:\r\n- dependency-name: actions/checkout\r\n  dependency-type: direct:production\r\n  update-type: version-update:semver-major\r\n...\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1880768828\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/404\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/404/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/404\">#404</a>)"}},{"before":"081eae8a0023e78f8549a2f1922f4ba5bd774782","after":"ce1ba9041cdcee577ea02591f27462dbe6c8e13c","ref":"refs/heads/main","pushedAt":"2023-09-04T22:51:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"Fixes flake.nix (#403)\n\n* Fixes flake.nix\r\n\r\n* Update readme to remove --impure flag for nix build and develop\r\n\r\n* Remove explicit library pins from opam file\r\n\r\n* Update Kado pin\r\n\r\n* Updates gitignore file","shortMessageHtmlLink":"Fixes flake.nix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1872826163\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/403\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/403/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/403\">#403</a>)"}},{"before":null,"after":"b192cfd52167f13f4115c9419a51844632bc9b37","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2023-09-04T19:15:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":"5cf02b57b47b5313f09908835fc76e561be31b0b","after":"081eae8a0023e78f8549a2f1922f4ba5bd774782","ref":"refs/heads/main","pushedAt":"2023-08-30T03:33:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"build: use bwd 2.2","shortMessageHtmlLink":"build: use bwd 2.2"}},{"before":"1925a13a8864cec1928ddd3fb3ab40f29c8ed0b8","after":"1bba64013d8e42a7da569068bc1fae62751f7674","ref":"refs/heads/gh-pages","pushedAt":"2023-08-30T03:13:02.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":"deploy: 5cf02b57b47b5313f09908835fc76e561be31b0b","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/5cf02b57b47b5313f09908835fc76e561be31b0b/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/5cf02b57b47b5313f09908835fc76e561be31b0b\"><tt>5cf02b5</tt></a>"}},{"before":"9614ff46df6d285a1cf53233d22931cd3960eb51","after":"5cf02b57b47b5313f09908835fc76e561be31b0b","ref":"refs/heads/main","pushedAt":"2023-08-30T03:05:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"build: upgrade kado","shortMessageHtmlLink":"build: upgrade kado"}},{"before":"b182640888a5e5df8439cc4a7edc2603c9061db5","after":"1925a13a8864cec1928ddd3fb3ab40f29c8ed0b8","ref":"refs/heads/gh-pages","pushedAt":"2023-08-29T23:34:33.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":"deploy: a5893cf4344077458dddb46555e9f379922cdcb5","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/a5893cf4344077458dddb46555e9f379922cdcb5/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/a5893cf4344077458dddb46555e9f379922cdcb5\"><tt>a5893cf</tt></a>"}},{"before":"a5893cf4344077458dddb46555e9f379922cdcb5","after":"9614ff46df6d285a1cf53233d22931cd3960eb51","ref":"refs/heads/main","pushedAt":"2023-08-29T23:29:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"📔 Fix README","shortMessageHtmlLink":"📔 Fix README"}},{"before":"4e48456826c45e3595465d010070f833090e119d","after":"a5893cf4344077458dddb46555e9f379922cdcb5","ref":"refs/heads/main","pushedAt":"2023-08-29T23:25:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"favonia","name":"favonia","path":"/favonia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1471328?s=80&v=4"},"commit":{"message":"👹 Worship Yuujinchou 5.0","shortMessageHtmlLink":"👹 Worship Yuujinchou 5.0"}},{"before":"8adc0987547442e01aff67fdb0fe0056779b7b48","after":"b182640888a5e5df8439cc4a7edc2603c9061db5","ref":"refs/heads/gh-pages","pushedAt":"2023-06-30T02:20:40.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":"deploy: 4e48456826c45e3595465d010070f833090e119d","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/4e48456826c45e3595465d010070f833090e119d/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/4e48456826c45e3595465d010070f833090e119d\"><tt>4e48456</tt></a>"}},{"before":"2f5574ad137b587fe76ea9ab4db22657dd2e4a26","after":null,"ref":"refs/heads/signature-refactor","pushedAt":"2023-06-30T02:13:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"}},{"before":"a533e1dc4fc6c2619b927968e7ee446f1fd7b4e8","after":"4e48456826c45e3595465d010070f833090e119d","ref":"refs/heads/main","pushedAt":"2023-06-30T02:12:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"},"commit":{"message":"🔭 Telescope Refactor (#402)","shortMessageHtmlLink":"🔭 Telescope Refactor (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1760436923\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/402\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/402/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/402\">#402</a>)"}},{"before":"71d44264b8f10612c59e38a9e32d259d3048e0e2","after":"2f5574ad137b587fe76ea9ab4db22657dd2e4a26","ref":"refs/heads/signature-refactor","pushedAt":"2023-06-21T14:21:19.650Z","pushType":"push","commitsCount":2,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"},"commit":{"message":"fix: update snapshot file to account for new tests","shortMessageHtmlLink":"fix: update snapshot file to account for new tests"}},{"before":"569d0f4ccf36ccd413c6738e00255c877d58d003","after":"71d44264b8f10612c59e38a9e32d259d3048e0e2","ref":"refs/heads/signature-refactor","pushedAt":"2023-06-16T11:26:28.959Z","pushType":"push","commitsCount":2,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"},"commit":{"message":"fix: fix silly bug where 'include' didn't append telescopes","shortMessageHtmlLink":"fix: fix silly bug where 'include' didn't append telescopes"}},{"before":"b91068758e6ea80c7fd0475acf3706249e6fe7f5","after":"569d0f4ccf36ccd413c6738e00255c877d58d003","ref":"refs/heads/signature-refactor","pushedAt":"2023-06-04T12:00:09.793Z","pushType":"push","commitsCount":1,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"},"commit":{"message":"wip: refiner rules for telescopes","shortMessageHtmlLink":"wip: refiner rules for telescopes"}},{"before":null,"after":"b91068758e6ea80c7fd0475acf3706249e6fe7f5","ref":"refs/heads/signature-refactor","pushedAt":"2023-05-24T00:24:40.712Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TOTBWF","name":"Reed Mullanix","path":"/TOTBWF","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8121224?s=80&v=4"},"commit":{"message":"wip: remove old NOTE reference","shortMessageHtmlLink":"wip: remove old NOTE reference"}},{"before":"87ccdd75c59d36b636986916f1541c355e1e350e","after":"8adc0987547442e01aff67fdb0fe0056779b7b48","ref":"refs/heads/gh-pages","pushedAt":"2023-03-27T03:38:59.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":"deploy: a533e1dc4fc6c2619b927968e7ee446f1fd7b4e8","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/RedPRL/cooltt/commit/a533e1dc4fc6c2619b927968e7ee446f1fd7b4e8/hovercard\" href=\"https://github.com/RedPRL/cooltt/commit/a533e1dc4fc6c2619b927968e7ee446f1fd7b4e8\"><tt>a533e1d</tt></a>"}},{"before":"ea1e10bca980a207a1bd9c5953f8b89f021f6778","after":null,"ref":"refs/heads/correct-readme","pushedAt":"2023-03-27T03:31:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"}},{"before":"19f9a7621c05a054d95ba973274cda8ff9d4aafe","after":"a533e1dc4fc6c2619b927968e7ee446f1fd7b4e8","ref":"refs/heads/main","pushedAt":"2023-03-27T03:31:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cangiuli","name":"Carlo Angiuli","path":"/cangiuli","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1076739?s=80&v=4"},"commit":{"message":"correcting grant number in README (#401)","shortMessageHtmlLink":"correcting grant number in README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1640763612\" data-permission-text=\"Title is private\" data-url=\"https://github.com/RedPRL/cooltt/issues/401\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/RedPRL/cooltt/pull/401/hovercard\" href=\"https://github.com/RedPRL/cooltt/pull/401\">#401</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADnJ57DwA","startCursor":null,"endCursor":null}},"title":"Activity · RedPRL/cooltt"}