[PATCH 2 of 2] config: rename allow_push to allow-push

[Martin von Zweigbergk]

On Fri, Nov 10, 2017 at 6:09 AM, David Demelier <markand at malikania.fr> wrote:
> # HG changeset patch
> # User David Demelier <markand at malikania.fr>
> # Date 1508406401 -7200
> #      Thu Oct 19 11:46:41 2017 +0200
> # Node ID 7618db2f7c818bcfd73393fff45a13e50fa9250b
> # Parent  4157480049dabdf7bd54160c909baf13ea8d5107
> config: rename allow_push to allow-push
>
> diff -r 4157480049da -r 7618db2f7c81 mercurial/help/config.txt
> --- a/mercurial/help/config.txt Thu Oct 19 11:43:19 2017 +0200
> +++ b/mercurial/help/config.txt Thu Oct 19 11:46:41 2017 +0200
> @@ -2290,13 +2290,13 @@
>  ``allow-pull``
>      Whether to allow pulling from the repository. (default: True)
>
> -``allow_push``
> +``allow-push``
>      Whether to allow pushing to the repository. If empty or not set,
>      pushing is not allowed. If the special value ``*``, any remote
>      user can push, including unauthenticated users. Otherwise, the
>      remote user must have been authenticated, and the authenticated
>      user name must be present in this list. The contents of the
> -    allow_push list are examined after the deny_push list.
> +    allow-push list are examined after the deny_push list.


Hmm, it seems weird not to change deny_push in the same series. Could
we have a patch for that too, please? (Or tell me what I'm missing.)