Comment by aperture147

Comment by aperture147 an hour ago

I don't get it, why did they allow GitHub bot to modify and merge pull request automatically? Yeah I agree that MS is ruining everything with AI, but this problem is avoidable, if they turn off the bot's auto merge feature, or turn it off completely. The reason they move to a lesser known Git provider sounds more like a marketing stunt.

karel-3d an hour 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.

Reply View 1 reply

simonask 15 minutes ago

Again, perfectly avoidable.

Reply View | 0 replies

literallyroy an hour ago

What are you referring to? I may be missing a line from the article but it seems mostly focused around a lingering GitHub Actions bug and the direction of GitHub.

Reply View 0 replies