Bonjour
J'essaie de comprendre git mais je me heurte à une difficulté. Sur la même machine et le même /home j'ai 2 "dépots" myBox et serveur.
De myBox je me synchronise des modifications de serveur par (/myBox$ git pull) à l'envers
de serveur je me synchronise des modifications de myBox par (/serveur$ git pull myBox master)
Je cherche maintenant à "pousser des modification" de myBox sur serveur à l'évidence cela ne marche pas et je ne comprends pas l'inconsistance dont il est question :
------------------------------------------------------------------------------------
~/myBox$ git push serveurCounting objects: 4, done.
Delta compression using up to 2 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 338 bytes, done.
Total 3 (delta 1), reused 0 (delta 0)
Unpacking objects: 100% (3/3), done.
remote: error: refusing to update checked out branch: refs/heads/master
remote: error: By default, updating the current branch in a non-bare repository
remote: error: is denied, because it will make the index and work tree inconsistent
remote: error: with what you pushed, and will require 'git reset --hard' to match
remote: error: the work tree to HEAD.
remote: error:
remote: error: You can set 'receive.denyCurrentBranch' configuration variable to
remote: error: 'ignore' or 'warn' in the remote repository to allow pushing into
remote: error: its current branch; however, this is not recommended unless you
remote: error: arranged to update its work tree to match what you pushed in some
remote: error: other way.
remote: error:
remote: error: To squelch this message and still keep the default behaviour, set
remote: error: 'receive.denyCurrentBranch' configuration variable to 'refuse'.
To /home/BrunoL/ServeurDepot/
! [remote rejected] master -> master (branch is currently checked out)
error: failed to push some refs to '/home/BrunoL/ServeurDepot/'
----------------------------------------------------------------------------------
Mon objectif est d'obtenir le même résultat du dépot myBox avec un push vers le serveur que si je faisais un pull à partir du serveur.
Est-ce faisable et si oui comment ?
J'ai hésité avec le groupe logiciel mais celui là m'a semblé plus adapté si ce n'est pas cas n'hésitez pas à le dire et je migre
Merci.