Utiliser un 2è dépôt synchronisé.

Le 1er est sur github et existe déjà, le deuxième est sur mon serveur et utilise SSH.

Création du 2è dépôt sur le serveur, noter qu'il est possible ici de donner au dépôt un nom différent
git init --bare

Depuis le dossier du projet (cloné depuis github) sur son PC
git remote set-url --add --push origin https://github.com/...
git remote set-url --add --push origin user@mon-serveur:projet

Le projet a maintenant plusieurs URL de push

Pour changer l'URL de pull, j'ai fait comme ça (y a surement mieux)
git remote set-url --add origin user@mon-serveur:projet
git remote set-url --delete origin https://github.com/...

Pour voir ce qu'il en est:
git remote show origin

Le projet utilise maintenant le nouveau dépôt pour les pull et les deux dépôts pour les push.
Les deux dépôts NE SONT PAS RÉELLEMENT synchronisés, ça se passe au niveau du client.