“It is quite common to have developers copy source code files to their local systems, edit them locally, and then check them back into the source code tree. . .

“It is quite common to have developers copy source code files to their local systems, edit them locally, and then check them back into the source code tree. . . . " Well, doh. How would it work otherwise?