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