++I (we) need to change all of the sites to accommodate for the new location. But I’m AFK currently.
Cheers, -Rob > On Dec 17, 2018, at 4:09 PM, sebb <seb...@gmail.com> wrote: > > 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 > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
