tuan-tu-tran / ades

Plate-forme web de gestion de dossiers d'élèves pour éducateurs scolaires
www.educ-action.be
GNU General Public License v3.0
0 stars 0 forks source link

Add a pull script to pull changes when notified by git hub #41

Closed tuan-tu-tran closed 10 years ago

tuan-tu-tran commented 10 years ago

We can setup a webhook in git hub so that everytime we push to master, the pull script is called on the web server.

The web server downloads the archive and extracts it

This is done by writing a local/pull.ini file with keys:

url= url to the archive to download
secret= the secret configured in the web hook
ref= the ref whose update must trigger the archive download e.g. refs/heads/master