I opened the issue, but because there was no answer for a long time the stale bot has flagged it 'staled' then finally that bot closed it. As the owner of the issue, how do I re-open it?
By the way, I know that GitHub has these rules:
But my case is none of the above since I'm the owner of the issue and the issue wasn't closed by repo collaborator but by a bot.
You need the rights to reopen pull requests on the repository. The pull request hasn't been merged, just closed. Go to Pull requests add filter `is:closed` choose PR you want to reopen. Select from checkbox and mark as Open.
After a period of inactivity, a label will be applied to mark an issue as stale, and optionally post a comment to notify contributors that the Issue or Pull Request will be closed. If the Issue or Pull Request is updated, or anyone comments, then the stale label is removed.
A closed issue does not necessarily mean that it is invalid, but often means that it is not manageable under all the constraints.
Even though repo owner/collaborator did not close it, it is still treated as like that. So only repo owner or collaborator can reopen it as far as I know. Bots will be given collaborator level of permission to carry out all these kind of tasks on repositories.
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