Git 5 Sep 2018 Aller sur le site du projet Tutorials and interesting links: Git for lazy mathematicians Git Immersion: interactive tutorials Git tutorials Reset origin to commit git source control systems collaborative mac windows linux desktop app