Is proposal like a synonym for pull request? Where open PR is referring to all the stuff surrounding an unmerged branch?

If there is a list of git servers instead of just one, and you do `ngit init` and `ngit push`, does it create the repo on all the servers? That to me would be the git equivalent of publishing to relays