Bonjour à tous

J’ai un serveur de développement dans le reseau local de mon entreprise, où sont stockées les sources des projets informatiques et les repositories GIT.

Ce serveur a accès à internet et au serveur de prod.

On ne peut pas y accéder depuis l’extérieur du réseau de l’entreprise.

J’ai un serveur de Prod chez un prestataire. Ce serveur n’a aucun moyen de se connecter au serveur de DEV, donc pas possible de faire des pull pour récupérer les MAJ.

Ma question :

Comment faire pour récupérer/envoyer les fichiers mis à jour dans le repository de GIT du serveur de dev vers la prod?

Sinon, quelle solution vous parait la meilleure pour utiliser git dans cette configuration ?

Merci de votre aide