Add changelog

[rth]

Adds a changelog since v0.9.94

Closes #1010

For each release the changelog is constructed by searching PRs between previous and current release dates. For instance,

is:pr is:closed sort:updated-desc merged:2022-11-07..2023-04-05 base:master 

It's not perfect, but in any case users can discover more context by clicking on the corresponding PR links.

The rendered markdown version can be seen here

Ideally changelog entries should be added in new PRs (unless someone want's to do this before each future release).

[oroulet]

Nice one!
Can we automate that work? It looks really possible by listing all merged PR.
It requires people to make good PR descriptions but that can be done

[rth]

Can we automate that work? It looks really possible by listing all merged PR.

Yeah some of it should be partially automatable,

1. either by querying the Github API with the above query
2. or maybe easier by using git log <tagA>...<tagB> but right now the output of git log is not very readable because you don't squash PRs. If you start squashing PRs then that would give already a pretty close output to a changelog as by default each commit message would be PR title + PR id.

[oroulet]

There are tools to use commits, but often it is too detailled, so using PR as you did was a good idea.