I don’t think it’s possible — issues for public repositories are
either open to any GitHub user or not used in the repository
at all.
If we see more it would be worth following up with GitHub
support directly.
> --
> You received this message because you are subscribed to the Google Groups "stan development mailing list" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
stan-dev+u...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.