On May 1, 4:16 am, Ondrej Certik <ond...@certik.cz> wrote: > > Should we now fork this repository and then push our private branches to > > the new fork? > > If you have a repository that was fork of my repository at github > (e.g. you can see your patches in the network graph), then you don't > have to. > > Otherwise, I think that you need to.
But it seems that you have to delete your own repo before... Vinzent -- 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+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.