I left it out because I figured grabbing the config and writing to it distracts from the main point of setting up the remote. What it does is not even related to creating a mirror, but about git-push automatically treating the *other* repo as a mirror of this one...

But yeah, I'll add it to be quirk-compatible.