1138
GitHub is no longer independent at Microsoft after CEO resignation
(www.theverge.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 11 Aug 2025
1138 points (100.0% liked)
Technology
75701 readers
2541 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related news or articles.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
There's plenty alternatives.
Unfortunately none has quite as good of a search engine. Do any actually have social features like friends and feeds?
Why would you need those in a git server?
Search is really useful for finding error messages’ origin as well as to find random example usages of APIs that have less than stellar documentation. The nice thing about GH search is that it allows many different facets like language and is pretty flexible by allowing exact search terms. Of course the corpus size helps as well.
No, I know why you would want search, I was asking about why you would want social features.
Because humans are social creatures?