[PATCH V3] push: config option to control behavior when pushing to a publishing server

[Yuya Nishihara]

On Fri, 30 Nov 2018 22:39:28 +0800, Anton Shestakov wrote:
> # HG changeset patch
> # User Anton Shestakov <av6 at dwimlabs.net>
> # Date 1541397139 -28800
> #      Mon Nov 05 13:52:19 2018 +0800
> # Node ID e73bee557bdbde51316a310ee9e9510586190da7
> # Parent  efd0f79246e3e6633dfd06226464a48584f69b19
> # EXP-Topic push-publish
> push: config option to control behavior when pushing to a publishing server

Queued this, thanks.