A short (sometimes polemical) course in git