<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">
      Unless you plan to also squash old commits into a single one, I
      don't get what you are saying here. And if you do plan to squash
      it, then you are losing history, which for a shared branch like
      this doesn't seem like a good idea. If you really do want to start
      with a clean history, then you might at least consider keeping a
      backup branch with the existing commits.</div></blockquote><br><div class="gmail_quote">Like I said, we understand that re-writing history on a public branch is generally a bad idea. In this case, it feels like very few people checked this branch out and certainly none from outside this group have contributed. So if this group does not object to rewriting history, I don't see what the problem is.<br></div></div>