Mastodawn

Iván Sánchez Ortega

I'm in a #github internal group for high-profile FOSS projects (due to @leaflet having a few kilo-stars), and the second most-wanted feature is "plz allow us to disable copilot reviews", with the most-wanted feature being "plz allow us to block issues/PRs made with copilot".

Meanwhile, there's a grand total of zero requests for "plz put copilot in more stuff".

This should be significative of the attitude of veteran coders towards #LLM creep.

Mark Stosberg Oct 24

@IvanSanchez @leaflet My team likes Code Rabbit reviews and I’ve enabled it on some OSS repos by choice. Usually decent feedback without too much junk.

For places where co-workers give too many LGTM reviews, this may be a step up.

aburka 🫣Oct 24

@markstos @IvanSanchez @leaflet "choice" is the operative word here

aburka 🫣Oct 24

@markstos @IvanSanchez @leaflet also if your coworkers aren't giving better reviews than coderabbit then get better coworkers though

Iván Sánchez Ortega Oct 24

@aburka @markstos Abso-fucking-lutely. The ask is not "disable LLMs everywhere", it's a way more polite "allow me to decide about getting LLMs in my workflow".
(I'm well aware that github belongs to MS and we don't have control over it, I have since diversified repos over gitlab and gitea, and for the record LLMs are a copyright/copyleft nightmare that we somehow are choosing to ignore like the proverbial elephant in the room).

Tom Renner Oct 24

@markstos @IvanSanchez @leaflet CodeRabbit you can also disable on your PRs with a simple labelling automation

Toni Aittoniemi Oct 24

@IvanSanchez @leaflet I’m not into this reverse-centaur shit. Computers should not be driving humans to serve them.

@IvanSanchez @leaflet github is the twitter of development. I want to move all my clients over to codeberg or at least gitlab.

Khleedril Oct 24

@thomasjwebb @IvanSanchez @leaflet Having none of that. I'm through with all centralised platforms and embracing the #posse way. All my projects are moving to my own server as we speak.

Simon Brooke Oct 24

@IvanSanchez @leaflet Can I say MANY THANKS for leaflet? It's a most useful library that I've used in lots of things!

https://www.journeyman.cc/blog/posts-output/2020-02-27-putting-data-on-the-map/

Putting data on the map

A couple of weeks ago, someone came to me with a problem. She had data in a spreadsheet. She wanted to display it as a map, on a website. And she wanted to be able to do that dynamically — that is to say, she wanted the map on the website to update as the spreadsheet changed.So there were clear routes to several of the parts of this problem:

The Fool on the Hill

Mr. Lance E Sloan (IRL) 👤Oct 24

@IvanSanchez @leaflet
As a developer working alone on a semi-private project, I appreciate occasional Copilot reviews on my PRs. Some AI usage is fine as long as its limitations are clearly understood.

Party Sam Oct 24

@IvanSanchez @leaflet The most glaring issue is how stupidly they try to integrate it everywhere.

My coworker, who is neutral towards AI in general, started complaining that Adobe and MS integrate it everywhere now, even Adobe Acrobat has an AI chat now. He is stunned how aggressively (and at the same time unimaginatively) this is forced onto users.

@IvanSanchez tbf, it's hard to cram it into even more stuff. it's already crammed into every nieche, nook, crack and orifice they could find

endrift 🏳️‍⚧️Oct 24

@IvanSanchez I'm sure there's a dearth of official replies in these threads. "Blink twice if you're being held hostage by management."

Tom Tuddenham Oct 24

@IvanSanchez @leaflet Got a feature request for an open source project I look after. Was so chuffed by the detail put into it I immediately spent a weekend implementing the change, only to never hear back from the requester. Reviewing the feature spec, it was was probably written by an AI.

While in this case it's likely to have originated from a person, I wonder if AIs might one day leverage FOSS feature requests as a source of fresh training material.

@IvanSanchez @leaflet when did it hit you GitHub was using you and your projects instead of serving you?

Nicole Parsons Oct 24

@IvanSanchez @leaflet

When the fossil fuel industry decides to fund global fascist movements & state surveillance technology, there are no half-measures.
https://www.thenation.com/article/society/wall-street-mbs-saudi-al-rumayyan/

Apple & #PrinceBonesaw
https://www.businessinsider.com/saudi-arabia-crown-prince-visits-apple-google-2018-4

Amazon & #PrinceBonesaw https://www.theverge.com/amazon/667916/jeff-bezos-amazon-saudi-arabia-jamal-khashoggi

Microsoft & #PrinceBonesaw
https://www.businessinsider.com/microsoft-google-hand-dissident-data-to-saudi-arabia-activists-say-2023-7

Google & #PrinceBonesaw
https://www.businessinsider.com/absher-google-refuses-to-remove-saudi-govt-app-that-tracks-women-2019-3

Oracle & #PrinceBonesaw
https://www.oracle.com/middleeast/news/announcement/oracle-collaborates-with-saudi-arabia-ministry-communications-it-national-elearning-center-2025-04-16/

Palantir & #PrinceBonesaw
https://www.bloomberg.com/news/articles/2018-04-06/google-thiel-stand-out-in-saudi-prince-s-silicon-valley-tour

1/

Nicole Parsons Oct 24

2/

Twitter & #PrinceBonesaw
https://www.independent.co.uk/news/world/americas/us-politics/elon-musk-saudi-arabia-ai-b2750164.html

https://www.theguardian.com/technology/2025/oct/09/twitter-saudi-arabia-deep-ties-elon-musk-prince-mohammed

Winklevoss & #PrinceBonesaw
https://www.bloomberg.com/news/newsletters/2023-01-05/celsius-gemini-genesis-crypto-lending-dumpster-fire-rages-on

Trump & #PrinceBonesaw
https://thehill.com/homenews/administration/5297096-elon-musk-donald-trump-saudi-arabia/

https://www.independent.co.uk/bulletin/news/trump-white-house-ballroom-donors-b2851525.html

Want to retaliate? Regain your freedom?

Accelerate the switch to solar, wind, & renewable energy.
https://www.cbsnews.com/news/mohammed-bin-salman-white-house-visit-november-18-trump-saudi-arabia/

Elon Musk and billionaire CEOs join Trump in Saudi to court oligarchs for AI investments

White House announces flood of cash into artificial intelligence as a rabid funding race kicks off in Riyadh

The Independent

Alerta! Alerta!Oct 25

@IvanSanchez @leaflet The challenge I see here is that people want to disallow using hammers because people use them to hammer in screws.

AI tools can (perhaps) be valuable. But the moment you *see* that they were used that means you got content from lazy people that just want to shortcut the road to coder-glory.

This is much more a people-problem than a tools problem. And we won't fix it by banning hammers.

Enola Knezevic Oct 25

@heiglandreas @IvanSanchez @leaflet I do not care what you do in your fucking bakery but you are not going to hammer the dough in mine!

Eivind Jahren Oct 25

@IvanSanchez @leaflet I can understand not wanting the AI review feature, but reviewing with an LLM initially isn't that bad. It does better at reading every word of a 1kloc than a human. So if the docs are inconsistent with the code then an LLM is better at finding it.

You might say that 1kloc is a too large diff for a review. I think using AI to review a diff is sub par, better give the entire file. Humans can also benefit from looking at the entire file, but will likely start to skim.

Iván Sánchez Ortega Oct 25

@Haskellelephant I'm afraid you might be confusing "better" with "faster and without getting tired" 🤔

Eivind Jahren Oct 25

@IvanSanchez To some extent those are the same thing. If you have a trivial pr and I say I will spend 20 days thinking it through thoroughly then clearly that is completely inappropriate. However it does depend on what is at stake, on a car you spend more time checking that the brakes work correctly than on the windshield wipers. When you can do some quality assurance more efficiently then you can get more quality. Whether you use that increased efficiency to do less QA is on you.

Stupeflo Oct 25

@IvanSanchez
Jusr a question: would you consider migrating your project on a forgejo instance, like codeberg for instance?

I know the argument is that most followers and contributors are in github but those are some heavy drawbacks having to fight a flooding AI on gh.
@leaflet

Iván Sánchez Ortega Oct 25

@stupeflo
I cannot take that decision about @leaflet without Volodymir. 🫤

Stupeflo Oct 25

@IvanSanchez Understandable. @leaflet

Markus Unterwaditzer Oct 25

@IvanSanchez @leaflet the discussions you have screenshotted here are part of the public GitHub community forum, kinda confused why you'd blur the usernames. are you saying the private forum has similar discussions?

https://github.com/orgs/community/discussions/169148

can't disable copilot code reviews · community · Discussion #169148

Select Topic Area Bug Body I have disabled Copilot everywhere I can possibly find a setting for it but it seems that other contributors can still request that the bot "review" code, which clutters ...

GitHub

Iván Sánchez Ortega Oct 25

@untitaker I thought it was private, at least when it was invite-only.

Erik Jonker Oct 25

@IvanSanchez @leaflet …just wondering, do you see added value for AI in coding? Or not?

Iván Sánchez Ortega Oct 25

@ErikJonker I think it adds -19% of value. With the minus sign.
https://arstechnica.com/ai/2025/07/study-finds-ai-tools-made-open-source-software-developers-19-percent-slower/

Study finds AI tools made open source software developers 19 percent slower

Coders spent more time prompting and reviewing AI generations than they saved on coding.

Ars Technica

Erik Jonker Oct 25

@IvanSanchez ...for the total inexperienced programmer (me) that is surely not true, much better value , also as a tool to explain code for me, it is also useful.

Erik Jonker Oct 25

@IvanSanchez ..also if you want to make machinereadable code from laws/regulations, Claude can do amazing things I have witnessed , in Dutch GitHub - MinBZK/poc-machine-law: Proof of Concept RegelRecht https://github.com/MinBZK/poc-machine-law

GitHub - MinBZK/poc-machine-law: Proof of Concept RegelRecht

Proof of Concept RegelRecht . Contribute to MinBZK/poc-machine-law development by creating an account on GitHub.

GitHub

Julian Gonggrijp Oct 25

@ErikJonker @IvanSanchez While it is impressive that Claude can (partly) automate this work, I think this type of task *shouldn't* be automated. I don't trust law code that was written by a word-guessing machine of which the inner workings cannot be fully traced. Human experts could verify all the code, but then they are spending more time than if they were writing the code themselves.

I also find it shocking that my government is using a theft-based, power-hungry tool for this purpose.

Iván Sánchez Ortega Oct 25

@ErikJonker Talk to @jdelacueva about project Kelsen. This stuff (and its limitations) are not new.

Julian Gonggrijp Oct 25

@ErikJonker @IvanSanchez Useful and easy sure, but you end up learning less and you will stay dependent on the (energy-hungry and theft-based) tool unless you learn to do it all by yourself.

https://www.researchgate.net/publication/392560878_Your_Brain_on_ChatGPT_Accumulation_of_Cognitive_Debt_when_Using_an_AI_Assistant_for_Essay_Writing_Task

You can learn to do it the hard way, millions of people have done it before you. Once you've done that, the AI tool will be something that slows you down and reduces the quality of your work. Steeper learning curve but greater rewards and more autonomy.

Iván Sánchez Ortega Oct 25

@ErikJonker
Read the fucking paper. LLMs give users *the impression* of being useful while adding negative value. There are powerful biases at work.

@IvanSanchez @leaflet So how long will you say "please stop wasting my time" before you pack your stuff and go host it elsewhere? They obviously ignore your needs.

@IvanSanchez @leaflet If you're into free software, why are you not ditching #GitHub for a free software alternative to begin with? Basing your entire project's infrastructure on a proprietary platform seems to go directly against the ideals of free software, and its not like there are no options available (#SourceHut or #Codeberg for instance).

Hugo van Kemenade Oct 25

@IvanSanchez I shared the links to those requests in an internal #GitHub group, but the requests themselves are in the public forum and can be shared (and upvoted):

https://github.com/orgs/community/discussions/169148

https://github.com/orgs/community/discussions/159749

can't disable copilot code reviews · community · Discussion #169148

Select Topic Area Bug Body I have disabled Copilot everywhere I can possibly find a setting for it but it seems that other contributors can still request that the bot "review" code, which clutters ...

GitHub

Iván Sánchez Ortega Oct 25

@hugovk Hah, I didn't realize those were public.

marcusxms Oct 25

@IvanSanchez @leaflet It's awful. Their market dominance allows them to not care much about what users want, though of course Microsoft in general doesn't anyway. Time to leave GitHub behind in the history books.

Sandro Santilli 🌍 GIS Oct 25

@IvanSanchez @leaflet I wonder what are high profile FOSS projects doing on a proprietary platform 🤔

Iván Sánchez Ortega Oct 25

@strk 15 years ago it was the place to be, and MS made sure it's difficult to switch.

Sandro Santilli 🌍 GIS Oct 25

@IvanSanchez it's pretty easy to migrate to codeberg.org or a self-hosted #Forgejo (or to the #OSGeo Gitea instance if applicable..)

Iván Sánchez Ortega Oct 25

@strk
Yeah, maybe I should migrate gleo to the OSGeo gitea.

FlyingMana Oct 25

@IvanSanchez @leaflet i wonder, how successfull was it so far to put in github instruction files to just let it say nothing in a review?

Moritz Dietz Oct 25

@IvanSanchez I know it's a lot of friction and this is easier said than done + I am probably the 8586 person to say this, but how about codeberg instead? If Microsoft is putting the entire GitHub org behind the AI Team, I don't see a toggle to turn off Copilot becoming a thing.

🏔️ Peak Oct 25

@IvanSanchez @leaflet
Wow, an internal group sounds so good. How can I get access? I help maintain Coolify with 40,000+ stars.

@IvanSanchez the only people I've seen who embraced the LLMs are techbros. Anyone who programs for the sake of the craft is running away like it's the Black Death

Kishpa 🏴‍☠️Oct 26

@IvanSanchez @leaflet Run away from #github, and then #selfhost, #diy... build a #homepage and link everything from there... #enshittification