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.
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.