I suggest removing HISTORY from setup.py long_description. It is anyway decoupled from the GitHub release history. When migrating to a different platform, we could again evaluate whether we want to copy it from the release history.
Checklist
[x] This pull request is associated to an issue
[x] This PR contains a description
[x] Add someone else as reviewer and wait for approval before merging.
Description
I suggest removing HISTORY from setup.py long_description. It is anyway decoupled from the GitHub release history. When migrating to a different platform, we could again evaluate whether we want to copy it from the release history.
Checklist