Make ${name} optional when replicating only a single repository

Thereby we allow to replicate a project under a different name.

Change-Id: I6b010807560f4b44e8aac6ccfb32b061ce366a66
3 files changed
tree: 70cd12758763e114795f527b276916113df20d36
  1. .settings/
  2. src/
  3. .gitignore
  4. BUCK
  5. LICENSE
  6. pom.xml