 |
 |
Hi We had the same name for the branch and the tag for v0.9.0-rc2. That's a bad idea. It's harmless as long as we don't put anything on that branch anymore (and we shouldn't) but it's confusing. I've therefore deleted the branch from github (you might still have it in your own repo). In the future, let's use release-1.0.0 etc for the branch name and v1.0.0 for the tag Kris