{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":620901470,"defaultBranch":"main","name":"redundant-but-not-deducible","ownerLogin":"typechecker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-29T15:38:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/93450768?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1680116488.3530061","currentOid":""},"activityList":{"items":[{"before":"ebeb0d77e9954600d53ec598b48c94d9d562582f","after":"40a8a04858b1d981515e15b550795cacf5f6f549","ref":"refs/heads/main","pushedAt":"2023-03-29T19:12:27.466Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"e1cf4d9f46c4da2697612bc91e384ba48bcb9230","after":"ebeb0d77e9954600d53ec598b48c94d9d562582f","ref":"refs/heads/main","pushedAt":"2023-03-29T19:11:11.820Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Don't need a default undefined implementation. Rename module.","shortMessageHtmlLink":"Don't need a default undefined implementation. Rename module."}},{"before":"c71f486fd7c37dc6fce04e2768a46e29f83f8b53","after":"e1cf4d9f46c4da2697612bc91e384ba48bcb9230","ref":"refs/heads/main","pushedAt":"2023-03-29T19:04:20.405Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Reproduction without servant.","shortMessageHtmlLink":"Reproduction without servant."}},{"before":"ead606137d6cfabf2213c368dda52b75fb761836","after":"e1cf4d9f46c4da2697612bc91e384ba48bcb9230","ref":"refs/heads/without/servant","pushedAt":"2023-03-29T19:04:05.234Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Reproduction without servant.","shortMessageHtmlLink":"Reproduction without servant."}},{"before":"84768301cd2409fe127ea12b888ff8b7a80c7cd8","after":"c71f486fd7c37dc6fce04e2768a46e29f83f8b53","ref":"refs/heads/main","pushedAt":"2023-03-29T19:02:05.533Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Remove stray line number.","shortMessageHtmlLink":"Remove stray line number."}},{"before":null,"after":"ead606137d6cfabf2213c368dda52b75fb761836","ref":"refs/heads/without/servant","pushedAt":"2023-03-29T19:01:28.353Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Reproduction without servant.","shortMessageHtmlLink":"Reproduction without servant."}},{"before":"9ccd2dab59a19391b1d6ef9b1ad6e8224ebda3b2","after":"84768301cd2409fe127ea12b888ff8b7a80c7cd8","ref":"refs/heads/main","pushedAt":"2023-03-29T18:09:42.632Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Add a readme.","shortMessageHtmlLink":"Add a readme."}},{"before":"6c6350a41c93571fc1e63171789b0e02bd8fa63b","after":"9ccd2dab59a19391b1d6ef9b1ad6e8224ebda3b2","ref":"refs/heads/main","pushedAt":"2023-03-29T18:04:19.706Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":"eea88c4f32af83a1b85cd808e4c5d3e72b40fa90","after":"6c6350a41c93571fc1e63171789b0e02bd8fa63b","ref":"refs/heads/main","pushedAt":"2023-03-29T18:03:51.972Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Reproducer.","shortMessageHtmlLink":"Reproducer."}},{"before":"b877db2ffc2e58569b117fdcb588de14dcb65fb4","after":"eea88c4f32af83a1b85cd808e4c5d3e72b40fa90","ref":"refs/heads/main","pushedAt":"2023-03-29T18:01:30.992Z","pushType":"push","commitsCount":1,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Reproducer.","shortMessageHtmlLink":"Reproducer."}},{"before":null,"after":"b877db2ffc2e58569b117fdcb588de14dcb65fb4","ref":"refs/heads/main","pushedAt":"2023-03-29T15:38:13.598Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"philderbeast","name":"Phil de Joux","path":"/philderbeast","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/633283?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADDhBUYwA","startCursor":null,"endCursor":null}},"title":"Activity ยท typechecker/redundant-but-not-deducible"}