push: add --publish flag to change phase of pushed changesets

Authored by av6.

Description

push: add --publish flag to change phase of pushed changesets

This flag is copied from topic extension, where it proved to be useful. It
makes all pushed changesets public on both ends if the push succeeds.

Doesn't currently work for any subrepos that are implicitly pushed together
with their owner repo.

Details

Committed
av6Oct 27 2018, 9:13 AM
Parents
rHGe41f6c2e69c4: match: reformat `syntaxes` dictionary for better maintainability
Branches
Unknown
Tags
Unknown