I just have merged my first PR after miss-islington become working. If the original author and the committer is the same person, miss-islington's comment's look slightly strange.

Thanks @serhiy-storchaka for the PR, and @serhiy-storchaka for merging it

Sorry, @serhiy-storchaka and @serhiy-storchaka, I could not cleanly backport this to 3.6 due to a conflict.

This is low priority, but I think that it would be nice to not duplicate the name in this case.

Thank you for your awesome work @Mariatta! Your tools help a lot!