Hello
I've built a minor enhancement for GrapheneOS that allows ending session for any user profile from the currently active user profile.
The goal is to be able to quickly check which profiles are running now and end session for those that you no longer need. This saves RAM and battery life, that is otherwise wasted if you forget to end session for no longer needed profile when that profile is active.
Here's how it works:
In quick settings' profile widget you can see which profiles are currently running - they are marked with "dots". You can long press on such profile icon and from a popup menu click "End Session". The profile had been stopped. That's all.
You can see the screenshot of the features here.
My question is how do I get this feature into GrapheneOS, is there a procedure for getting maintainers attention (or perhaps comments if the feature is incomplete/not desired)? I created a Pull request, but it's been a week and there's no response.