A short introduction to git for beginners