Description
[Related to this Zulip Meeting]
Grouping issues
This issue is a discussion around changing the changelog's formatting. Several solutions came out in the 2023-05-30 meeting, this issue discusses the last one (the conclusive one).
The conclusion that we reached on this meeting around the changelog is that we should group all small fixes (usually fixing false-positives and very small suggestion changes), that the user will have to click on. This can be done using the <details>
and <summary>
tags.
(The person making the changelog will decide what is a small change)
We would keep the current sections, and add a new one.
(Note that it is tempting using the Others
section to group all small commits, but sometimes, changes that cannot be categorized in any of the other categories are significant. So we'll have to create a new section)
### New Lints
### Moves and Deprecations
### Enhancements
### False Positive Fixes
### Suggestion Fixes/Improvements
### ICE Fixes
### Documentation Improvements
### Others
<details><summary><h3>Minor fixes</h3></summary>
</details>
Minor fixes
- Someone fixed a typo yay :D #100000
Note the double space between ### Others
and <details>
. And the space between <details>
, the content, and the final </details>
(Github is pretty picky when rendering Markdown files that use HTML, but there isn't any other way to create dropdowns in Markdown)
The PR range
We would also replace the commit range (which is not very significant, as a single PR can have many commits) with a new merged PRs range.
The filter to use here would be something like this:
is:pr is:closed merged:<last release, YYYY-MM-DD>..<this release> base:master sort:merged-desc
We could display it raw as a range:
#10669..#10841
(This approach doesn't make much sense, as PRs aren't sequential in any way)
Or maybe just provide a link to view it in Github
Joining these 2 concepts would give us a much more legible changelog.
cc @xFrednet