Hacker News new | ask | show | jobs
by karel-3d 193 days 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.
1 comments
simonask 193 days ago
Again, perfectly avoidable.
link
baobabKoodaa 193 days ago
Uhh 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.
link