Hi Chris, It's easily fixed.
I have merged the 1.7.dev version update to master now. I don't see any release notes for 1.7 here yet though: https://github.com/sympy/sympy/wiki/Release-Notes-for-1.7 You can manually move the release note from here if it went through as 1.6: https://github.com/sympy/sympy/wiki/Release-Notes-for-1.6 Oscar On Sun, 3 May 2020 at 17:20, Chris Smith <smi...@gmail.com> wrote: >> >> Can I ask all contributors not to merge any PRs right now until the >> version is updated on the master branch. >> > > Sorry -- I did make a merge but will wait now. > > I wonder if an event could be added like the sympy-bot release notes check > which will disallow PRs to be merged as long as the check is present. > > /c > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/526ecdb0-25dc-4b41-8a7c-d64517e2161f%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAHVvXxRtGxKhGdwDyZn6S4hAi7zvWT6X0C6Uv3OV4UXbHPDFBQ%40mail.gmail.com.
