Hello, une petite proposition qui me semble relever de l’organisation de la documentation et du retrouvage de contenus dans l’immensité de la galaxie.
Maintenant qu’on a Search motorisé par Sourcegraph, qui est vraiment très très bien (encore merci), il me semble que Code.spip n’apporte plus grand chose d’intéressant et devrait être totalement supprimé. En effet Sourcegraph :
- s’occupe intégralement de « code »
- permet de rechercher en fulltext dans TOUT le code, et ce aussi bien du core que de tous les plugins du monde
- donne accès au PHPDoc
- et cela pour TOUTES les branches à la fois, et donc absolument pas besoin de maintenir plusieurs instance suivant les versions de SPIP etc ! (comme Programmer)
Quand bien même ça ne couvrirait pas 100% de ce que permettait Code.spip, ça en couvre laaaargement assez (et des choses en plus) pour ne pas se fader la maintenance d’un site en plus inutilement.
Si jamais on est d’accord pour n’en maintenir qu’un, alors mon avis serait que Sourcegraph remplace vraiment et passe sur le domaine code.spip.net. En effet : il ne s’occupe QUE du code, et non pas de la recherche en général dans tous les contenus.
Cela laisserait alors le domaine search.spip.net (qui dans un premier temps pourrait rediriger vers code.spip.net) pour à terme peut-être avoir un portail de recherche qui permettrait de lancer une recherche dans TOUS les sites de la galaxie à la fois (par exemple avec un Manticore central qui indexerait spip.net + le blog + contrib…).