On Apr 30, 2009, at 6:58 PM, Istvan Albert wrote:
> On Apr 30, 9:55 pm, Istvan Albert <istvan.alb...@gmail.com> wrote: > >> IMO all you need to do is create two new empty repositories, pygr- > > basically what I am saying here is that there is no need to delete > anything beforehand. > Create the new repos, see if everything checks out, then later you can > delete the old ones to avoid confusion Yes, this makes sense. Github has a "rename" option, so we can create the new repos without touching the old repos, make sure that everything works great, then rename both the old and the new so that the new becomes just plain "pygr". I'll go ahead and create a "pygr- new" repository and start this process... -- Chris --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "pygr-dev" group. To post to this group, send email to pygr-dev@googlegroups.com To unsubscribe from this group, send email to pygr-dev+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/pygr-dev?hl=en -~----------~----~----~----~------~----~------~--~---
