{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":428409856,"defaultBranch":"main","name":"Nix.lean","ownerLogin":"Anderssorby","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-11-15T20:20:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6331075?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1638202390.511631","currentOid":""},"activityList":{"items":[{"before":"c8f34ae8404273b49b60bd14466989ec91e92d5d","after":"bac4b04e2c6c7edb33ff87adefee9be3daa49faa","ref":"refs/heads/acs/parser","pushedAt":"2023-03-17T10:57:14.570Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"wip: Implement Megaparsec parser, typechecker and evaluator","shortMessageHtmlLink":"wip: Implement Megaparsec parser, typechecker and evaluator"}},{"before":"6c0570661bcd8cc438148a9188c213f2050f7fc6","after":"c8f34ae8404273b49b60bd14466989ec91e92d5d","ref":"refs/heads/acs/parser","pushedAt":"2023-03-17T10:48:58.346Z","pushType":"push","commitsCount":1,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"wip: Implement Megaparsec parser, typechecker and evaluator","shortMessageHtmlLink":"wip: Implement Megaparsec parser, typechecker and evaluator"}},{"before":"5e41358d3abe399d9d065c862c7f55c98f82e498","after":"6c0570661bcd8cc438148a9188c213f2050f7fc6","ref":"refs/heads/acs/parser","pushedAt":"2023-03-10T16:00:17.343Z","pushType":"push","commitsCount":1,"pusher":{"login":"Anderssorby","name":"Anders Christiansen Sørby","path":"/Anderssorby","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6331075?s=80&v=4"},"commit":{"message":"fix: Megaparsec compilation","shortMessageHtmlLink":"fix: Megaparsec compilation"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADBZgENwA","startCursor":null,"endCursor":null}},"title":"Activity · Anderssorby/Nix.lean"}