added missing push to remote repo instructions