122
Gotta love how informal open source game dev is
(i.imgur.com)
Welcome to the game development community! This is a place to talk about and post anything related to the field of game development.
Why not have a mirror on GitHub that makes it VERY clear that the development happens on another platform.
We do, but people don't come over. It's a service issue; if the goal is maximize contributors, you need to minimize friction. A mirror minimizes friction, but it's still a significant step over "just being on Github":
That's a shame. If GitHub didn't have their own pull request system (or at least did it the way git does) I would have suggested maybe finding a way to allow PRs from GitHub.