Collaborating on code used to be hard. Then Git made branching and merging easy, and GitHub took care of the rest. In the late 2000s, I was working at Borland, the formerly high-flying software ...