Comment by notabot
10 years ago
My company pays me to work on a fairly old-school free software project and we run our own git service. Our workflow is email based so we won't ever consider switching to GitHub.
That said, we do sometimes consider setting up an official mirror on GitHub. Ideology aside (some team members might think we shouldn't promote a propriety solution for free software project), the main thing that puts us off is that there is no way to disable pull requests. Closing all pull requests by hand is not appealing; leaving all pull requests open is not desirable. We can probably write a bot to close pull requests, but that is just yet another administrative burden.
Not sure if GitHub will ever consider allowing users to disable pull requests though. That seems to go against GitHub's core interest.
FreeBSD has worked out a means of accepting pull requests on their github mirror, guessing using the API.
I myself don't really see any motive of doing that. It is administrative burden (maintaining the service that bridge API and existing system, managing GitHub accounts / tokens). Compare that to the number / quality of pull requests received [0] [1] and I find RoI of doing that very low.
[0] https://github.com/freebsd/freebsd/pulls [1] https://github.com/torvalds/linux/pulls