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