3 ms·
> 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
by karel-3d 11mo ago
> 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.
- simonask 11mo agoAgain, perfectly avoidable.
- baobabKoodaa 11mo agoUhh we're talking about the pull request to safe_sleep, right? Not sure why you take that condescending tone when anecdata goes AGAINST your position.