upvote
But it was apparently ignored.
reply
It wasn’t ignored, the second commit fixes what the bot suggested
reply