git comment désactiver le push
J'utilise git et je fais mon travail de développement, ce que je ne veux pas pousser, même par erreur. Existe-t-il une méthode pour désactiver l’affichage Push dans certains référentiels locaux? Une méthode consiste à renommer la branche, une autre consiste à annuler Push si on le fait par erreur, mais j'espère qu'il devrait y avoir une méthode plus directe.
La commande suivante permettra aux tirages de fonctionner, mais les push tenteront d'utiliser l'URL no_Push et échouer:
git remote set-url --Push Origin no_Push
Selon la télécommande, vous pourrez peut-être réinitialiser son URL pour utiliser le protocole Git en lecture seule au lieu de SSH ou HTTPS. Par exemple, pour un projet sur GitHub, faites
git remote set-url <remote> git://github.com/Team/Project.git
où <remote> est généralement Origin. git remote -v vous donnera une liste de télécommandes; ceux qui commencent par https ou ont la forme <user>@<Host>:<path> permettent généralement de pousser.