Bug reporting

[David Nadlinger]

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