mv -v .git .git_old &&# Remove old Git filesgit init &&# Initialise new repositorygit remote add origin "${url}"&&# Link to old repositorygit fetch &&# Get old history# Note that some repositories use 'master' in place of 'main'. Change the following line if your remote uses 'master'.git reset origin/main --mixed # Force update to old history.