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