Done. HOWEVER, we did not know what the release # of the stylesheets should be, so we called the new release branch in Stylesheets "release-3.0.0", too (which it isn't -- it's either 7.40.1, or 7.41.0, or 8.0.0, or whatever). But I wanted to have a separate release branch available at the same time. As soon as I can figure out the correct release # (or someone tells me) we can re-name that branch. In the meantime, please do work for the upcoming release in the "release-3.0.0" branch (do `git pull` then `git checkout release-3.0.0`). Do work not intended for the upcoming release in 'dev', as usual. -- Syd & Elisa
Elisa and I are about to do the "branch dev to release" bit. So it would be prudent to hold off on comitting anything for the next 10-20 mins or whatever.