Delete the hidden patches as well when deleting a branch
[stgit] / perf /
drwxr-xr-x   ..
-rw-r--r-- 17 .gitignore
-rw-r--r-- 1787 create_synthetic_repo.py
-rw-r--r-- 792 find_patchbomb.py
-rw-r--r-- 2971 perftest.py
-rw-r--r-- 1102 setup.sh