top | item 43970108 (no title) matkv | 9 months ago So is this now just a mirror? I'm not sure what the point of moving to GitHub was then. discuss order hn newest IshKebab|9 months ago It's the primary repo rather than a mirror, but yeah I agree it they don't get most of the benefits. Moving issues and PRs is probably an enormous effort so I get why they aren't doing it all at once.
IshKebab|9 months ago It's the primary repo rather than a mirror, but yeah I agree it they don't get most of the benefits. Moving issues and PRs is probably an enormous effort so I get why they aren't doing it all at once.
IshKebab|9 months ago