After patch pull, remove proposal from the ngit list

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.