C'est probablement une question stupide, mais je suis tout nouveau à git et je vois une branche distante qui n'existe plus.
$ git branch -a
* master
remotes/origin/master
remotes/origin/production
Je ne crois pas que la branche de production existe à distance et ne peut pas comprendre pourquoi il montre encore localement. Comment puis-je supprimer/supprimer cette branche? Voici ce qu'une tentative pour enlever ça ressemble:
$ git push origin :production
error: unable to push to unqualified destination: production
The destination refspec neither matches an existing ref on the remote nor
begins with refs/, and we are unable to guess a prefix based on the source ref.
error: failed to push some refs to 'git@IP:puppet.git'
Je peux extraire le soi-disant à distance branche de production, mais d'obtenir ceci:
$ git checkout origin/production
Note: checking out 'origin/production'.
You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.
If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:
git checkout -b new_branch_name
HEAD is now at c323996... added powerdns module, no really
Je n'ai aucune idée de ce que le diable, je suis en train de faire. Toute aide serait appréciée.