One command that pushes everything relevant to all remotes: the gitmsg/* branches, the state refs, the tags, and the default and relevant code branches. Decide what 'relevant branches' means. Related: the push bug on a checked-out feature branch; its fix may shape this design.