Fortunately, the GitHub team has you covered in this regard. If any users perform a Git push or pull with the old Git URL, the server will perform a redirect while instructing the developer to update ...