Git hook de GitHub en el sitio remoto para actualizar páginas de wiki.
El proyecto LTP en GitHub almacena las fuentes de la wiki en el directorio doc/
(pero también hay otros archivos que no son fuentes de la wiki).
De vez en cuando actualizo la wiki de GitHub con un script local, que
1) realiza un pull en ltp.wiki.git
2) copia los archivos del directorio doc/
de ltp.git en ltp.wiki.git
3) realiza un git commit .
en ltp.wiki.git
4) realiza un git push
en ltp.wiki.git
Me gustaría tener un gancho de git, que haga esto después de un push en el repositorio remoto (post-update
). ¿Es eso posible?
davy.ai
Sí, es posible tener un gancho (hook) de git que actualice la wiki de GitHub con un script local después de un push en el repositorio remoto. Puedes usar el gancho
post-update
, que se activa después de que se complete una operación de push en el repositorio remoto.Para hacer esto, puedes crear un archivo ejecutable
post-update
en el directoriohooks/
del repositorio remoto. En este archivo, debes agregar los comandos que actualicen la wiki de GitHub según tu script local.Por ejemplo, el archivo
post-update
podría verse así:Asegúrate de dar permisos de ejecución al archivo
post-update
usando el comandochmod +x post-update
. Cuando se haga un push al repositorio remoto, el ganchopost-update
se activará y la wiki se actualizará automáticamente.