Git intro github vs world Operazioni init clone status add commit log branch checkout rebase merge push fetch pull tag