With the move to gitbox in the coming days, here's a script posted to
commons-dev mailing list that may be helpful to others with repositories
pointing to old repo.
CheersBruno
----- Forwarded Message -----
From: sebb <[email protected]>
To: CommonsDev <[email protected]>
Sent: Tuesday, 18 December 2018 10:09 AM
Subject: Script to change git remote url to gitbox
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]
