J'ai créé une page wiki dans le référentiel GitHub de mon projet pour stocker des notes et des liens volants. GitHub a automatiquement créé une page wiki intitulée "Accueil", contenant le texte "Bienvenue sur le [référentiel] wiki!".
Cela pose deux problèmes. Premièrement, la nouvelle page d'accueil est totalement inutile pour moi. Deuxièmement, et le plus important: pour accéder à la page que j'ai créée, je dois cliquer sur le lien "wiki" de la page d'accueil du référentiel, puis sur l'onglet "Pages", et alors le lien vers la page wiki que j'ai créée.
J'ai donc décidé de déplacer le contenu vers la page wiki "Accueil", afin de le rendre plus facilement accessible. Comme il ne semble pas y avoir de fonction "renommer" les pages wiki de GitHub, j'ai simplement copié le contenu de ma page dans la page "Accueil".
Maintenant, comment puis-je supprimer la page de wiki d'origine pour ne pas encombrer mon référentiel?
Comme mentionné sur le ce fil du groupe Google GitHub, les propriétaires de référentiel peuvent supprimer des pages de la vue de modification.
Le bouton de suppression peut être facile à manquer, car les boutons du mode d'affichage:
... devenir seulement légèrement différent en mode édition:
Peut-être que GitHub devrait envisager de rendre l'interface plus évidente (par exemple en rendant le bouton de suppression rouge, ou quelque chose du genre)
Une autre solution consiste à extraire le référentiel du wiki et à supprimer manuellement le fichier contenant le contenu de la page à l'aide de git rm
, puis à archiver les modifications dans le référentiel du wiki.
Utile si vous ne trouvez pas le bouton de suppression sur l'interface Web ou si vous êtes davantage un utilisateur de la ligne de commande.
C'est possible avec git
:
git clone https://github.com/ORG/REPO.wiki.git
cd REPO.wiki
rm Home.md
git add .
git commit -m "remove wiki homepage"
git Push