this post was submitted on 18 Jun 2024
119 points (93.4% liked)
Game Development
3439 readers
1 users here now
Welcome to the game development community! This is a place to talk about and post anything related to the field of game development.
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.