Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Agreed. Ideally, the reporters should respect those options. Prior to seeing this I opened an issue under good-console:
Alternatively, those options could be per-reporter, which would give some flexibility as to how each interprets the options. But as it stands, the flags are misleading.