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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		karel-3d 14 days ago \| parent \| context \| favorite \| on: Zig quits GitHub, says Microsoft's AI obsession ha... > 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 14 days ago [–]

Again, perfectly avoidable.

baobabKoodaa 13 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact