-
Notifications
You must be signed in to change notification settings - Fork 28
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Mediawiki skin #289
Mediawiki skin #289
Conversation
Elimina documentacion/extensions
La idea es que la gente que encuentre el repositorio pueda resolver dudas y conocer a la comunidad.
Añade un bloque enlazando al foro en el README
Añade un bloque enlazando al foro en el README
No debería ir primero a master y después de probarlo hacer el merge a prod? |
Si, pero para poder probarlo tendríamos que tener montado stage y aun no está. Iba a hacer un cp -r de producción y luego cambiar la rama a master pero no se si tenía alguna peculiaridad /cc @willyaranda @nukeador |
Cambio el título para reflejar que esto es de mediawiki, no discourse. Para tenerlo en stage habría que tener cuidado con la sincronización con git, para no romperla y luego estar seguros que está contra una copia de la bdd tambien. |
No estoy muy al tanto de este tema, así que merge at will. |
Tampoco tenemos montado el git pull para prod, no? |
Ojo con el pull a prod no vayamos a machacar todo. Hay un script en el /bin de root para hacer pull de prod y de stage, pero habría que ver primero si no tenemos algún conflicto. |
Para activarlo hay que cambiar el documentacion/LocalSettings.php