[aperture147]

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]

> 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]

Again, perfectly avoidable.

[baobabKoodaa]

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.

[alexrp]

> The reason they move to a lesser known Git provider sounds more like a marketing stunt.

We had technical problems that GitHub had no interest in solving, and lots of small frustrations with the platform built up over years.

Jumping from one enshittified profit-driven platform to another profit-driven platform would just mean we'd set ourselves up for another enshittification -> migration cycle later down the line.

No stunt here.

[aperture147]

Well that explains a lot, because I thought that you guys moved due to their direction sounds more like a political act.

Btw why not GitLab?

[literallyroy]

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.

[aperture147]

Then... don't use GHA and move to other CI/CD/Workflow platform.

If you try it, don't like it then don't use it, GitHub does not force you to use GHA anyway, and moving away from GitHub due to their direction sounds like a political movement. It's like someone who stop shopping from Walmart, not because they sells bad product but because they support the Republic, then going to a local shop that sometimes close unexpectedly sound unreasonable.