GitHub CEO says company is working to replace the name "master" for the default version of source code repositories with a more neutral term (Catalin Cimpanu/ZDNet)