Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Report Verbosity / Concise Reports option 2 - do not merge yet #773

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

sultan
Copy link
Contributor

@sultan sultan commented Oct 20, 2022

Option 2 for #730 :

Before :

image

After with like beaks :

image

After with list separator :

image

@andrzejj0
Copy link
Contributor

I think I like the option with line breaks more.

@github-actions
Copy link

This PR is stale because it has been open 365 days with no activity. Remove stale label or comment or this will be closed in 30 days.

@github-actions github-actions bot added the Stale label Oct 21, 2023
@sultan
Copy link
Contributor Author

sultan commented Nov 13, 2023

I'd like to have more returns from maintainers and decide aboute the new xml options names. If free on such choice, I might suggest one or two and continue this PR without waiting

@github-actions github-actions bot removed the Stale label Nov 14, 2023
@andrzejj0
Copy link
Contributor

andrzejj0 commented Nov 14, 2023

I'd like to have more returns from maintainers and decide aboute the new xml options names. If free on such choice, I might suggest one or two and continue this PR without waiting

Hi, do you mean to change xml schemas of the reports (so, element and attribute names etc)? Or just options? Especially with the former – even if you decide to retain the old names for a time being and mark as deprecated, there will immediately be complaints and bug reports about breaking backwards compatibility as soon as you finally remove the old ones. So I personally wouldn't do that. Just my 2 cents.

Copy link

This PR is stale because it has been open 365 days with no activity. Remove stale label or comment or this will be closed in 30 days.

@github-actions github-actions bot added the Stale label Nov 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants