On Nov 8, 11:54 am, Christian Johansen <
chrisj...@gmail.com> wrote:
> If you don't have any work that's important to you in the current
> repository, I guess the easiest way out is to hit "edit project" (right
> column) and then simply delete it and clone the repository over again.
Excellent, thank you! That will work fine; I do have some work, but
it's honestly easier for me to re-apply the handful of patches I've
created to a clean tree than to try to clean up the mess I've made.