To answer the last question, rename of a github repo is fine. I am not sure forks are
carried over but they can easily be remade.
The local repo on the developer machine simply need to remove the old remote, add the new
one and do a fetch.
That's not disruptive.
Emmanuel
On 3 janv. 2012, at 15:56, Steve Ebersole wrote: