Voici ce que j'essaie de faire:Tirer automatiquement sur le serveur distant avec Git push?
J'ai un référentiel GitHub, dont je voudrais rendre une partie visible sur le web. À l'heure actuelle, j'ai cloné le dépôt sur mon propre serveur et cela fonctionne bien, mais pour le garder à jour, je dois me connecter manuellement et tirer les dernières modifications. Je ne suis pas sûr si c'est la meilleure idée (ou la meilleure approche), mais je voudrais que le serveur distant tire automatiquement chaque fois que quelqu'un pousse vers le référentiel. GitHub le rend assez facile à exécuter un script quand quelqu'un pousse, mais je ne suis pas sûr de savoir comment tirer une fois que quelqu'un fait cela. J'ai utilisé PHP pour la simplicité, mais juste faire quelque chose comme git pull
ne fonctionne pas naturellement à cause des permissions. Est-ce une mauvaise idée ou existe-t-il une autre façon de réaliser ce que je veux faire? Cela ressemble à une mise en place commune, mais je n'étais pas sûr.
Merci.