And there is a problem with building the docs, which should be fixed.
I would do it like it says
https://github.com/sympy/sympy/wiki/new-release. Create a new branch
0.7.2 in the official repo. Then, all release blocking PRs should go
as pull requests to that branch. Development on master can continue
as usual. Also, I was thinking that you should create a pull request
to merge 0.7.2 into master right away, so that we can run the bot
tests on it (but don't merge it until the release is finished).
I'll help out too. Basically everything that you need to do is on that
wiki page. Just let me know what you plan to do yourself, and what
you want me to do. The hardest part at this point is actually the
stuff at the bottom, after you've released, because there are a dozen
websites and packages to update, so any help there is the most
appreciated.
Also, go through the 0.7.2 blocker issues and make sure that either
they are fixed or can be reasonably postponed.
Aaron Meurer
> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To post to this group, send email to
sy...@googlegroups.com.
> To unsubscribe from this group, send email to
>
sympy+un...@googlegroups.com.
> For more options, visit this group at
>
http://groups.google.com/group/sympy?hl=en.
>