Dima, I'm not sure why I would make a new local branch. However, I was able to successfully rebase and then build the documentation (and then pull, and then push) after I followed your earlier advice on upgrading sage. I must have broke something before by using the --upgrade option.
Thanks, Zach On Thursday, June 1, 2017 at 10:41:20 AM UTC-5, Dima Pasechnik wrote: > > I would rather (replace my* with right values) > > git checkout -b myrebasedstuff develop > git pull trac u/myuid/mygreatbranch > > # assume it all merged fine, then > > make doc-clean > make > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.