I dunno. It’s nice that they’ve specifically categorized Pd patches by target platform, since that sometimes matters. I’ve had some experience with the difficulty of grouping multiple repositories under some category in github, especially if those repositories are owned by different organizations. So a 3rd party site can be handy for that kind of thing. There no reason the two ideas can’t work together though.