An introduction workshop to distributed source code management with git