{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":653383170,"defaultBranch":"main","name":"rift","ownerLogin":"morph-labs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-14T00:33:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/136536927?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697721876.0","currentOid":""},"activityList":{"items":[{"before":"b3433f4fcfd0b4b78d7a3c723710b29f1ef59208","after":"b50887c3f93cc0ad34c2f5a21ccee5ded42c1171","ref":"refs/heads/dev-2.3","pushedAt":"2023-11-07T08:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"Update linter examples for demo.","shortMessageHtmlLink":"Update linter examples for demo."}},{"before":"452afe449d32583f6aa8f6d9c870f5763f791464","after":"b3433f4fcfd0b4b78d7a3c723710b29f1ef59208","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-23T09:55:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"black and isort settings","shortMessageHtmlLink":"black and isort settings"}},{"before":"314dec9a1ace476e055226a06c878447243fa696","after":"452afe449d32583f6aa8f6d9c870f5763f791464","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-23T07:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IS: add accessors for files, and symbols in a file.","shortMessageHtmlLink":"IS: add accessors for files, and symbols in a file."}},{"before":"e7c7f5660958ff3aebbb4825335bcc3070a276f7","after":"314dec9a1ace476e055226a06c878447243fa696","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-23T05:42:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"Remove unused import","shortMessageHtmlLink":"Remove unused import"}},{"before":"793deca92022b931bf83ca725246072e4a1e4c95","after":"e7c7f5660958ff3aebbb4825335bcc3070a276f7","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-20T07:11:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: use local imports for \"ir\".","shortMessageHtmlLink":"IR: use local imports for \"ir\"."}},{"before":"a21f8c59f76eda773319e40c830411cc1dc5015f","after":"793deca92022b931bf83ca725246072e4a1e4c95","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-20T06:56:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: fix language of \"File\" symbol.","shortMessageHtmlLink":"IR: fix language of \"File\" symbol."}},{"before":"fe4d192ca45c6b6e76bab6eea9ee4511b3961c6f","after":"a21f8c59f76eda773319e40c830411cc1dc5015f","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T13:45:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"be36e67f90eab34e5480c36a557ffae5acb0aa8b","after":"fe4d192ca45c6b6e76bab6eea9ee4511b3961c6f","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T13:29:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: don't parse files larger than 5MB.\n\nI'm looking at you `vendor/tree-sitter-lean/src/parser.c` with your 100MB and 3MLOC.","shortMessageHtmlLink":"IR: don't parse files larger than 5MB."}},{"before":"fcecfac7f3b6940f68810631f8ac7aacda7814a1","after":null,"ref":"refs/heads/expressions","pushedAt":"2023-10-19T13:24:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"}},{"before":"7293504c870c74af56c2d3ebe5d270fd561a02c9","after":"be36e67f90eab34e5480c36a557ffae5acb0aa8b","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T13:24:33.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: correct indentation in the metalanguage","shortMessageHtmlLink":"IR: correct indentation in the metalanguage"}},{"before":"710ba875c8abe9a1de6fd4f1406abbe0bf5e92a7","after":"fcecfac7f3b6940f68810631f8ac7aacda7814a1","ref":"refs/heads/expressions","pushedAt":"2023-10-19T13:24:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: correct indentation in the metalanguage","shortMessageHtmlLink":"IR: correct indentation in the metalanguage"}},{"before":"5a9089412dba5fb32658d4d7f994681f5597440d","after":"710ba875c8abe9a1de6fd4f1406abbe0bf5e92a7","ref":"refs/heads/expressions","pushedAt":"2023-10-19T13:08:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: more metalanguage tests.","shortMessageHtmlLink":"IR: more metalanguage tests."}},{"before":null,"after":"5a9089412dba5fb32658d4d7f994681f5597440d","ref":"refs/heads/expressions","pushedAt":"2023-10-19T13:05:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: expressions can be literals of symbols\n\nThis allows to capture the symbol inside an expression when available.\nIf the expression corresponds to a recognised metasymbol, then it will be that symbol. Otherwise it will be the string corresponding to the original code, but where the symbol names will be replaces for the corresponding parts of code.","shortMessageHtmlLink":"IR: expressions can be literals of symbols"}},{"before":"3849629ac20987f03c9d0492c34d423ecb14b843","after":"7293504c870c74af56c2d3ebe5d270fd561a02c9","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T13:02:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: towards checking the second argument of useEffect.","shortMessageHtmlLink":"IR: towards checking the second argument of useEffect."}},{"before":"1a9402c1c753d7c50615d569c0d404999641b58c","after":"3849629ac20987f03c9d0492c34d423ecb14b843","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T12:12:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add support for ReScript tuples.","shortMessageHtmlLink":"IR: add support for ReScript tuples."}},{"before":"7aa49de41d2622ba8f5dd88e4da4e2487330c5cc","after":"1a9402c1c753d7c50615d569c0d404999641b58c","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-19T12:10:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add support for ReScript tuples.","shortMessageHtmlLink":"IR: add support for ReScript tuples."}},{"before":"5c11777910ecb2f9e3efd31d181f776e69d748ad","after":null,"ref":"refs/heads/per_language_parser","pushedAt":"2023-10-18T13:11:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"}},{"before":"199a54e7b0fcc22410816f2db31accf39e404827","after":"7aa49de41d2622ba8f5dd88e4da4e2487330c5cc","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-18T13:11:08.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: split out lean parser","shortMessageHtmlLink":"IR: split out lean parser"}},{"before":null,"after":"5c11777910ecb2f9e3efd31d181f776e69d748ad","ref":"refs/heads/per_language_parser","pushedAt":"2023-10-18T12:48:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: split out lean parser","shortMessageHtmlLink":"IR: split out lean parser"}},{"before":"3bcfb2f3385dd5e8b2e3d78c0493f8c353c6b0a1","after":null,"ref":"refs/heads/type_parent","pushedAt":"2023-10-18T11:56:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"}},{"before":"e01f7965a4d5013e5870faf96077f0b3ddccb33a","after":"199a54e7b0fcc22410816f2db31accf39e404827","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-18T11:56:42.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: selectively update custom parsers when testing metalanguage.","shortMessageHtmlLink":"IR: selectively update custom parsers when testing metalanguage."}},{"before":"195999318763480e2f93048b9fe25a5a976141aa","after":"3bcfb2f3385dd5e8b2e3d78c0493f8c353c6b0a1","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T11:06:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: selectively update custom parsers when testing metalanguage.","shortMessageHtmlLink":"IR: selectively update custom parsers when testing metalanguage."}},{"before":"e7abe232198b4d491fda1e3140ad3f9e1b0dea7a","after":"195999318763480e2f93048b9fe25a5a976141aa","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T11:00:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR metalanguage: get file path directly from the parent symbol.","shortMessageHtmlLink":"IR metalanguage: get file path directly from the parent symbol."}},{"before":"a359c34ca3f7157410f073a04282776d021388f5","after":"e7abe232198b4d491fda1e3140ad3f9e1b0dea7a","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T10:56:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add parent to Field.","shortMessageHtmlLink":"IR: add parent to Field."}},{"before":"0724010915e3a793e7d59e8188a92c42ede735eb","after":"a359c34ca3f7157410f073a04282776d021388f5","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T10:51:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add parent symbol to parameter.","shortMessageHtmlLink":"IR: add parent symbol to parameter."}},{"before":"c1c3410a523148092f996cbbccee9575caa98eab","after":"0724010915e3a793e7d59e8188a92c42ede735eb","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T10:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add parent symbol to parameter.","shortMessageHtmlLink":"IR: add parent symbol to parameter."}},{"before":null,"after":"c1c3410a523148092f996cbbccee9575caa98eab","ref":"refs/heads/type_parent","pushedAt":"2023-10-18T10:48:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"IR: add parent symbol to types.","shortMessageHtmlLink":"IR: add parent symbol to types."}},{"before":"5ac90982ea1f4d4ef01065f7a7d9164d1336bfaf","after":null,"ref":"refs/heads/rename","pushedAt":"2023-10-18T09:59:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"}},{"before":"027b05232328edf9926d43c28d7a882985b80622","after":"e01f7965a4d5013e5870faf96077f0b3ddccb33a","ref":"refs/heads/dev-2.3","pushedAt":"2023-10-18T09:59:17.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"Update missing_types.txt","shortMessageHtmlLink":"Update missing_types.txt"}},{"before":"b2217f0c4bd9ff4a883d6e67ee5449f8711ce280","after":"5ac90982ea1f4d4ef01065f7a7d9164d1336bfaf","ref":"refs/heads/rename","pushedAt":"2023-10-18T09:56:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cristianoc","name":"Cristiano Calcagno","path":"/cristianoc","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7965335?s=80&v=4"},"commit":{"message":"Update missing_types.txt","shortMessageHtmlLink":"Update missing_types.txt"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADqSY4zAA","startCursor":null,"endCursor":null}},"title":"Activity · morph-labs/rift"}