++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 <[email protected]> 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: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
