It's nice to show who did what. This issue is mainly a reminder for me to adjust the make_release.py so that either the name or (better) the Github handle is shown in the release notes.

The first one is available via git history.

The second one requires the Github API