> > Anyway. The branch used to be an old one. I checked it out and then > rebased on top of the latest develop. Do I understand correctly that > while rebasing, git failed to remove the cypari2 folder? > > IMO, a better practice is to merge in old branches to a branch based off develop. If you want to rebase, then run rebase. That way you never have old cruft and have to watch Sage do a massive rebuild of things with only changed timestamps. For example
$ git checkout -b branch_name develop $ git merge branch_name $ git rebase develop Best, Travis -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
