Comment on GitHub is no longer independent at Microsoft after CEO resignation
ronigami@lemmy.world 1 month agoUnfortunately none has quite as good of a search engine. Do any actually have social features like friends and feeds?
Comment on GitHub is no longer independent at Microsoft after CEO resignation
ronigami@lemmy.world 1 month agoUnfortunately none has quite as good of a search engine. Do any actually have social features like friends and feeds?
Blisterexe@lemmy.zip 1 month ago
Why would you need those in a git server?
ronigami@lemmy.world 1 month ago
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.
Blisterexe@lemmy.zip 1 month ago
No, I know why you would want search, I was asking about why you would want social features.
ronigami@lemmy.world 1 month ago
Because humans are social creatures?