filteredhash: rename the filteredhash function
The new name is less ambiguous, as we are about to introduce an alternative
function it seems like a good idea to have clearer name to distinct the two.
def run():
from . import demandimport
with demandimport.tracing.log('hg script'):
demandimport.enable()
from . import dispatch
dispatch.run()
if __name__ == '__main__':
run()