++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 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-ur
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 unsubscri
