Comment by karel-3d

> I don't get it, why did they allow GitHub bot to modify and merge pull request automatically

They didn't, poor wording on Register part. The pull request was closed for inactivity by the bot.