Comment ré-ouvrir un problème dans github?
J'ai signalé un problème à un projet. Maintenant, le propriétaire a changé l'état en fermé, mais comment puis-je le changer pour l'ouvrir à nouveau?
J'ai lu quelque part que j'avais besoin de droits pour l'opération Push and Pull. Est-ce vrai ?
Github a des droits/privilèges très simples (et même une gestion plus simple pour eux).
Si vous êtes pas un collaborateur d'un dépôt, alors (en ce qui concerne les problèmes)
- vous pouvez questions ouvertes
- vous pouvez commenter tous les problèmes existants (ouverts ou fermés)
- vous pouvez fermer vos propres problèmes
- vous pouvez rouvrir vos propres problèmes * si vous les avez fermés vous-même
- vous ne pouvez pas fermer ou réouvrir des problèmes ouverts par quelqu'un d'autre
- vous ne pouvez pas rouvrir vos propres problèmes si un collaborateur du dépôt les a fermés
La situation que vous signalez tombe dans le dernier cas, vous ne pouvez donc pas la rouvrir. Vous pouvez demander dans le fil de discussion si un collaborateur référentiel peut le rouvrir, ou vous pouvez ouvrir un nouveau numéro et référencer l'ancien (en mentionnant son numéro précédé d'un signe dièse, par exemple #123).