A presentation on Git theory