comment supprimer des fichiers dans le dépôt distant?
je ne sais pas quel est le terme exact pour ce problème. En gros, j'ai besoin de supprimer quelques fichiers & directory sur mon dépôt distant
j'ai un repo git local et à distance repo sur github
- Avait travaillé moi-même.
- un ami a fait une demande de retrait.
- j'ai fusionné sa requête (via GitHub interface)
- j'ai tiré les changements.
- j'ai testé le code et j'ai décidé de ne pas prendre ses modifications (ne devrait pas avoir fusionné à la première place)
- j'ai repris une précédente livraison
- Fait quelques changements
- Appuyer sur le serveur.
voici à quoi ressemble mon dépôt local en ce moment:
* 7e143b1 (HEAD)
|
| * 18cea0f (origin/master, origin/HEAD, master)
| |
| | * fc19ccf
* | | 6f3c58a
|/ /
* | 8d82486
|/
| * d3ce65f (pre-install-activeadmin)
|/
* 7d0566c
* d1c77ab
* 75ba704
* 30dc67c (heroku/master)
* f89b1f6
* ea5e2db
* 08931d6
* 9773a6f
* b636aba
* cb6f8d4
je peux changer mon repo local en 7d0566c
. Je ne sais pas où la tête de ma télécommande pointe.
Comment puis-je supprimer les fichiers qui se trouvent sur remote repo mais qui ne se trouvent pas sur mon repo local?
Évidemment, je ne vois pas tout de ses fichiers dans mon repo local parce que j'ai fait une réinitialisation de ma tête à un commit précédent. Cependant, le fichier repo distant affiche toujours ses fichiers. Quand je m'engage, on s'engage bien.
mon workflow est-il erroné? J'aurais dû tester le patch en premier lieu. Toute suggestion? Je suis nouveau sur le contrôle de version. Je vous remercie
2 réponses
extraire les modifications à partir du serveur, puis faites un git rm
sur votre repo local, propagez les modifications, et appuyez sur le serveur. Les fichiers seront supprimés.
je suppose 18cea0f
est l'endroit où votre fusion de requête pull s'est produite. Afin de rétablir cette fusion, vous pouvez faire:
git revert -m 1 18cea0f
http://progit.org/2010/03/02/undoing-merges.html