On 2/27/11 9:14 PM, Brad Roberts wrote:
Since the pull requests use the github issue tracker (don't ask me why), I don't think disabling it is a workable idea. I'd prefer to, though, since bugzilla is still the right place to be tracking d's bugs.
Pull request being »mirrored« as issues is only a service to projects which use the issue tracker at Github. If the issue tracking feature is disabled, they can still be managed from the »Pull Request« tab.
David
