The code is duplicated on every developer's computer.

If the github source changes, then every developer will notice when they attempt to synchronize their local code with the server code.