[PATCH 02 of 10 shelve-ext v3] shelve: rename stripnodes to nodestoprune

[Sean Farley]

Kostia Balytskyi <ikostia at fb.com> writes:

> # HG changeset patch
> # User Kostia Balytskyi <ikostia at fb.com>
> # Date 1484740179 28800
> #      Wed Jan 18 03:49:39 2017 -0800
> # Node ID 155f97b77a4866075fa709daa3bef6dac9108e81
> # Parent  d904df83e9ead56f65104e10d765c0157d647401
> shelve: rename stripnodes to nodestoprune
>
> Since we are introducing obs-based shelve, we are no longer
> stripping temporary nodes, we are obsoleting them.

... but we are stripping them for most users (your functionality depends
 on an experimental config option). I don't mind the rename enough to
 block this patch but your reasoning seemed a bit off to me. (a minor
 nit, not a real complaint)