On Fri, Aug 16, 2013 at 06:09:49PM +1000, Nathan Woodrow wrote: > It will only need to be changed in each persons local git repo. Any pull > requests will still be vaild. FYI: github supports a "redirection" mode so changing local repos is not urgent for anyone. --strk;