diff CONTRIBUTING @ 31555:7c7d3ad7ca5c

shelve: rename stripnodes to nodestoprune Since we are introducing obs-based shelve, we are no longer stripping temporary nodes, we are obsoleting them. Therefore it looks like stipnodes would be a misleading name, while prune has a connotaion of "strip but with obsolescense", so nodestoprune seems like a good rename.
author Kostia Balytskyi <ikostia@fb.com>
date Fri, 10 Mar 2017 16:18:43 -0800
parents a492610a2fc1
children
line wrap: on
line diff