[PATCH 5 of 6] repair: allow giving strip backup a different name

[Matt Mackall]

On Tue, 2012-03-06 at 18:44 +0200, Idan Kamara wrote:
> # HG changeset patch
> # User Idan Kamara <idankk86 at gmail.com>
> # Date 1331052186 -7200
> # Node ID 8de1458190589ce199ec8a5e6f6397fa17ef58ba
> # Parent  2d6eb93415d09c26c3bdf94bf74b584acc6ebab6
> repair: allow giving strip backup a different name
> 
> So the user can differentiate amend backups from the rest.

I guess that's ok. But backupfilename is ungainly and inaccurate. Let's
make it something like 'topic'.

-- 
Mathematics is the supreme nostalgia of our time.