I'd like there to be experiences for all three on GitWorkshop.
I completely agree that notifications just for git related things is needed.
I haven't forgotten about this as a more PR focused inbox for ngit is also important
After patch pull, remove proposal from the ngit listI'm reminded of the workflow of Greg Kroah-Hartman as discussed here https://www.youtube.com/watch?v=vyenmLqJQjs and how CLI tools (eg ngit) could aid in the workflow of maintainers.
It's a bit confusing that I have to search through the list of proposals to figure out the new ones, that I don't already have locally installed in git.
Would prefer that they be removed after patching or colored dark-gray, or something.