Fw: Script to change git remote url to gitbox

["Bruno P. Kinoshita" <ki...@apache.org>]

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 <se...@gmail.com>
 To: CommonsDev <de...@commons.apache.org> 
 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: dev-unsubscribe@commons.apache.org
For additional commands, e-mail: dev-help@commons.apache.org