IMO he can contribute all he wants. His PRs will still have to go through someone else (i.e. the new maintainer / lead dev). I don’t care if he adds new code. That’s much appreciated.
Toxicity is more of an issue if you’re the maintainer since you have control over the project.
His github says otherwise
It states that he is the “Founder of @GrapheneOS”, not the current lead developer. So I don’t get your point
His activity on GrapheneOS repositories, issues, etc. indicates he’s still very active in development and in the community.
IMO he can contribute all he wants. His PRs will still have to go through someone else (i.e. the new maintainer / lead dev). I don’t care if he adds new code. That’s much appreciated.
Toxicity is more of an issue if you’re the maintainer since you have control over the project.