Hint for updating a git remote origin URL.

* doc/source/gerrit.rst: When renaming and moving projects, provide
recommended syntax developers can use to update the git remote
origin URL in their existing working copies.

Change-Id: I98bf235a95c28a0637171be172774babdf739f7b
Reviewed-on: https://review.openstack.org/18252
Reviewed-by: Monty Taylor <mordred@inaugust.com>
Approved: James E. Blair <corvus@inaugust.com>
Reviewed-by: James E. Blair <corvus@inaugust.com>
Tested-by: Jenkins
This commit is contained in:
Jeremy Stanley 2012-12-17 18:32:41 +00:00 committed by Jenkins
parent eaac6a8561
commit ed0f043a0e

View File

@ -1134,7 +1134,9 @@ To rename a project:
project.
Developers will either need to re-clone a new copy of the repository,
or manually update their remotes.
or manually update their remotes with something like::
git remote set-url origin https://github.com/$ORG/$PROJECT.git
Deleting a User from Gerrit
***************************