Exhibit A is a github user joelreymont who seems to be making a habit of this behavior. He did a very similar spam on ocaml github.com/ocaml/ocaml/pull/14369
Migrating the main Zig repository from GitHub to Codeberg
41–50 of 952 posts
Re: Migrating the main Zig repository from GitHub to Codeberg
#42It is good to have alternatives to mega-corporations controlling the ecosystem.
Microsoft controlling GitHub is an issue, but one can see this issue emerging in different places too; see shopify puting pressure on the ruby ecosystem, ending with various developers who contributed to ruby (in particular via gems and bundler) no longer being accepted there (via RubyCentral's take-over, under shopify's directive and influence onto ruby). Many more examples can be given here. The thing is that money buys influence, ultimately dictating who can contribute and how. Python forcing mandatory 2FA onto all developers is also an example here - the hobbyist who just contributes code, has not really any benefit here, whereas corporations delegate more "security" onto unpaid folks.
Re: Migrating the main Zig repository from GitHub to Codeberg
#43Earlier quoted context omitted.
Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .
PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.
Yikes, the PRs on the Linux repo are quite terrible. At least there's a bot to auto-reply with the correct procedure.
Re: Migrating the main Zig repository from GitHub to Codeberg
#44Earlier quoted context omitted.
Look at the absolute state of what they are working on. If they are not losers, they are dispirited clock-punchers who don't care about their craft.
It’s more likely that most of them are competent professionals doing their best in an impersonal corporate environment, just like the rest of us.
Not all of us sold out to corporations.
Admittedly some of those may be a bit ... unusual. Like the guy who created TempleOS.
Re: Migrating the main Zig repository from GitHub to Codeberg
#45Earlier quoted context omitted.
The absolute state of Github is that I use it dozens of times a day and it works flawlessly, for free, with intermittent outages. Microsoft is doing more with Github than I can say for most of their products. I won't go to bat for the Xbox or Windows teams, but Github is... fine. Almost offensively usable.
Given the trajectory of Microsoft products it stands to reason Github’s future is uncertain. Also Git is ultimately a hosting platform that any competent software shop can recreate; the people behind the platform matter more than the platform itself.
True eventually, but not today
Re: Migrating the main Zig repository from GitHub to Codeberg
#46Earlier quoted context omitted.
Look at the absolute state of what they are working on. If they are not losers, they are dispirited clock-punchers who don't care about their craft.
They could also just be people with bills to pay who are maybe faced with—by some accounts—a very challenging employment market. Or maybe due to disabilities they find the process of finding new work difficult or impossible.
That is fine, but they adopt or delegate corporate opinions onto others. I feel that if you need to lie to people because of money, your job is not honest. (I don't mean you; I mean people who need to do this because otherwise they may lose their job etc...)
Re: Migrating the main Zig repository from GitHub to Codeberg
#47Earlier quoted context omitted.
Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .
PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.
There's technically a way[1], but you'd have to do it every 6 months which is not great.
https://docs.github.com/en/communities/moderating-comments-a...
Re: Migrating the main Zig repository from GitHub to Codeberg
#48Earlier quoted context omitted.
Look at the absolute state of what they are working on. If they are not losers, they are dispirited clock-punchers who don't care about their craft.
The absolute state of Github is that I use it dozens of times a day and it works flawlessly, for free, with intermittent outages. Microsoft is doing more with Github than I can say for most of their products. I won't go to bat for the Xbox or Windows teams, but Github is... fine. Almost offensively usable.
So you are ok with 2FA, right? If you contribute code there.
Now - what if you are not ok with it? What can you do?
> Almost offensively usable
I think you conflate two points here. One is how useable github is. The other is: control. At which point are you no longer ok with what a private company does? This is not solely about Microsoft alone by the way.
Re: Migrating the main Zig repository from GitHub to Codeberg
#49Damn - Codeberg is snappy! It's as fast as Github used to be 10 years ago. Server rendered pages. No AJAX-style slow updates. Love it.
Re: Migrating the main Zig repository from GitHub to Codeberg
#50It is good to have alternatives to mega-corporations controlling the ecosystem. Microsoft controlling GitHub is an issue, but one can see this issue emerging in different places too; see shopify puting pressure on the ruby ecosystem, ending with various developers who contributed to ruby (in particular via gems and bundler) no longer being accepted there (via RubyCentral's take-over, under shopify's directive and inf…
[deleted]