A crash course on Git