{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":23919113,"defaultBranch":"main","name":"type-level-sets","ownerLogin":"dorchard","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-09-11T13:21:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32088?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1690447771.0","currentOid":""},"activityList":{"items":[{"before":"8e6a203973514e7ad570850cb6a227bac4daa892","after":"d71becf49c092cd7697f39e4f4fb55b289af3d31","ref":"refs/heads/main","pushedAt":"2023-12-19T20:53:32.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"Merge pull request #34 from jmorag/better-filter\n\nRemove non-lazy If from Filter implementation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1111661435\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dorchard/type-level-sets/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dorchard/type-level-sets/pull/34/hovercard\" href=\"https://github.com/dorchard/type-level-sets/pull/34\">#34</a> from jmorag/better-filter"}},{"before":"b340c822bc25e75d81114327dd9a9161943d9111","after":"8e6a203973514e7ad570850cb6a227bac4daa892","ref":"refs/heads/main","pushedAt":"2023-12-19T20:52:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"Merge pull request #33 from jmorag/ismember-fundep\n\nAdd functional dependency to IsMember for better type inference","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1110630224\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dorchard/type-level-sets/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dorchard/type-level-sets/pull/33/hovercard\" href=\"https://github.com/dorchard/type-level-sets/pull/33\">#33</a> from jmorag/ismember-fundep"}},{"before":"f1ab7cbe9f324bf1b0100058c6b3f455e2c81eec","after":"546eea7502e63fdfdc505853eb72c45c0aa451b6","ref":"refs/heads/master","pushedAt":"2023-07-27T08:57:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"generalise set representations","shortMessageHtmlLink":"generalise set representations"}},{"before":null,"after":"f1ab7cbe9f324bf1b0100058c6b3f455e2c81eec","ref":"refs/heads/master","pushedAt":"2023-07-27T08:49:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"bump lts and fix","shortMessageHtmlLink":"bump lts and fix"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADzisJjQA","startCursor":null,"endCursor":null}},"title":"Activity · dorchard/type-level-sets"}