Git intro workshop