Add configuration for backup branch names

This enables backup branches to follow two different naming schemes:
it can be backed up by a time/date stamp, or it can use an
incrementing counter to create a unique name.  The time/date stamp
option is default to preserve legacy behavior.

Change-Id: I7493e9d020055685da409119ac64a46f6af6cf07
3 files changed
tree: a5975ffde1b2833e2d1a99033334ec202f23f528
  1. src/
  2. .gitignore
  3. BUCK