In case it's useful, here is a Unix shell command to change the current git repo from git-wit-us to gitbox:
git remote set-url origin $(git remote get-url origin | sed -e s/git-wip-us.apache.org/gitbox.apache.org/) --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
