Instead of having a common /usr/src/* for a dev team (I remember I had one in the 80s) we have our sources on github now which allows for larger and more distributed dev teams. Not exactly the same way to collaborate but it's solving the same problem with a bigger central server. Time is round, old solutions always resurface with some differences.