I have reported an issue to a project. Now the owner changed its state to closed. How can I change it to open again?
I read somewhere that I need rights for push and pull operations. Is that true?
To link related issues in the same repository, you can type # followed by part of the issue title and then clicking the issue that you want to link. To communicate responsibility, you can assign issues.
GitHub Issues is a tracking tool that is integrated with your GitHub repository. Use GitHub Issues to focus on important tasks and keep plans up to date simultaneously.
Github has very simple rights/privileges (and even simpler management for them).
If you are not a collaborator of a repo, then (in regards to issues)
The situation you report falls in the last case, so you cannot reopen it. You can ask in the issue thread if a repo collaborator can reopen it, or you can open a new issue and reference the old one (by mentioning its number preceded by a hash sign, e.g. #123
).
It appears that they prefer that users NOT create duplicate issues. From the GitHub issue template on 9/1/2020 (from the existing bug's page click 'New Issue', 'Get Started'):
Before filing, PLEASE check if the issue already exists (either open or closed) by using the search bar on the issues page. If it does, comment there. Even if it's closed, we can reopen it based on your comment.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With