1.12.0: add prs between 1.11.0 and 1.11.1 to release notes

[valentijnscholten]

All the PRs merged into dev between 1.11.0 and 1.11.1 are not listed by release drafter, so we have to add them manually when releasing.

release-drafter/release-drafter#756

[valentijnscholten]

I created a fork of the release draftw with intention of fixing the behaviour, but it's not so easy because the release draft has lots of different scenario's it supports (except ours).
For now, I have added a second release drafter workflow that can be triggered manually and performs the behaviour we want. But we have to specify the pervious version so it knows which pull requests to list in the changelog.
This must be run on master after the release was merged.

You can also run it on dev to try it out. fyi @madchap

[madchap]

So to not get that wrong, tomorrow, the first field would read 1.12.0 (or maybe remain empty?) and the previous release 1.11.0 ?

[valentijnscholten]

Yes, should list all prs front 29/12 onwards

[valentijnscholten]

updated the release instructions, so closing this.