I was passing through that docs section yesterday and I notice that adding a pushurl does not replaces the url. Git will leave the url for fetch solely so we still need to add both pushurl to push to both places.
I also add a bit of tag lang (bash), a URL to git-push official docs, and fix a bit the examples to make them more consistent.