sage release manager for a week…

Craig Citro and I are playing sage release managers for a week. (Unfortunately, there are no paper hats. None whatsoever.) Sage 4.0.2 is intended to drop Saturday, June 13.

Since neither Craig nor I have much experience managing sage, I am going to make some notes here.

Things to be done:

• Tag the hg repository.
• sage -clean?
• Update the version number.
• Update the release notes (with Minh).
• Update the website (with Harald).

Now back to upgrading mpir.