Splitting a repo
----------------
-### Remove history of all but select files in cloned repo
+##### Remove history of all but select files in cloned repo
```sh
$ cp -Rp old new
$ cd new
$ git gc --aggressive --prune=now
```
-### Remove history of previously-removed (not in current tree) files
+##### Remove history of previously-removed (not in current tree) files
```sh
$ git log --pretty=format: --name-status \
| awk '$0 != "" {print $2}' \