3 ms·

And they have Issues and Pull Requests turned on.

• 4ad 12y ago
  Can you turn off pull requests?
  • calpaterson 12y ago
    No, you can only turn off issues
• jongalloway2 12y ago
  Some pull requests have already been merged, e.g. https://github.com/dotnet/coreclr/pull/35 https://github.com/dotnet/coreclr/pull/35