A few of us just realized that if we, as repo administrators, close an
issue on GitHub, the issue creator can't reopen the issue. In the past,
we've asked the original poster to reopen an issue if they'd like to
continue the discussion or if they didn't feel like things were resolved -
but apparently they aren't allowed to do so by GitHub.
If we closed an issue that you wanted to reopen and couldn't, please
comment on the issue. If you are a repo admin and didn't realize this, now
You received this message because you are subscribed to the Google Groups
"Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
To view this discussion on the web visit
For more options, visit https://groups.google.com/d/optout.