On 17/04/2013 10:48 , Tobie Langel wrote: > On Wednesday, April 17, 2013 at 10:42 AM, Robin Berjon wrote: >> Also, I *think* that git is smart enough to notice that something >> was moved and merge properly. > > Yes. Me too. What about the mirroring with w3c-test.org? Won't that > wreck havoc? It's just a git clone, it shouldn't be affected at all. >> Worth double-checking though. > > Do you have a better suggestions than trying the name change on a > single directory and seeing what happens to PR there? Nope, live experiments FTW! -- Robin Berjon - http://berjon.com/ - @robinberjonReceived on Thursday, 18 April 2013 13:50:07 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:34:08 UTC