Can someone please tell me if this is allowed?

✔️ Linting Passed

All linting checks passed. Your pull request is in excellent shape! ☀️

_{Generated for commit: f918def. Link to the linter CI: here}

This seems fine to do this change.

I think part of the content (the contributor names for each release) is automatically generated from your git commit message info though. So if you haven't done so you probably want to double-check that git config user.name returns the spelling you want.

This seems fine to do this change.

I think part of the content (the contributor names for each release) is automatically generated from your git commit message info though. So if you haven't done so you probably want to double-check that git config user.name returns the spelling you want.

Yes, I only saw it recently that my git config was out of date and I changed it.
There were a bunch of PRs from me from different computers over the years, so the history of my contributions still needs to be changed.
I think this one should be without changelog entry?

I think this one should be without changelog entry?

No need for a changelog for this PR indeed.

Merging this one!