On: Migrating the main Zig repository from GitHub to Codeberg

[wilg]

It's not in conflict. They are pointing out that in this case their stated goal was not achieved so it's pointless.

[brendoelfrendo → wilg]

It wasn't their stated goal, if you read linked article. The commenter got it wrong.

[wilg → brendoelfrendo]

Enlighten me, they specifically mention ICE as a reason they wanted to switch from GitHub?

[input_sh → wilg]

They mention it in passing before continuing with technical issues.

They don't state it as the only reason as you imply, but as something that contributed to their decision.

[wilg → input_sh]

I am well aware it was not the only reason, but that does not improve the reasoning.