Hello, We've (The Mahout Project) recently moved to gitbox. Thanks for the seamless integration.
I'm looking through our latest jenkins build and see that its still cloning from https://git-wip-us.apache.org/repos/mahout.git. Is this the correct URL? Is there anything necessary that we must change in our Jenkins builds? In the notice I see: >git repositories must be migrated from the git-wip-us.apache.org URL to >gitbox.apache.org. will git-wip-us.apache.org remain as a mirror? Thank you, Andy Mahout PMC member
