Move git from one folder to another, and update its remote url

mvgit.source

#!/usr/bin/env bash

mvgit() {
  ( set -x
  [[ -d "$1" ]] &&
    (
      mkdir -p "$(dirname "$2")"
      mv "$1" "$2"
    )
  [[ -n "$3" ]] &&
    [[ -d "$2" ]] &&
    ( cd "$2"
      git remote set-url origin "$3"
      git push origin --all
    )
  )
}