Dartino Name Change

How to update old name "Fletch" checkout to "Dartino"

If you want to keep your old git repository (for example, because it has yet-to-be-comitted CLs):

1. mkdir dartino
2. cd dartino
3. gclient config [email protected]:dartino/sdk.git
4. Edit .gclient file to say:

• "Manged": False,

5. mv OLD_FLETCH_PATH/fletch sdk
6. cd sdk
7. git remote set-url origin [email protected]:dartino/sdk.git
8. cd ..
9. Optionally copy wiki. This is only necessary if you have changes you want to preserve in the "wiki" directory:
10. mv OLD_FLETCH_PATH/wiki wiki
11. cd wiki
12. git remote set-url origin [email protected]:dartino/sdk.wiki.git
13. cd ..
14. Edit .gclient to have this line in custom_deps: * "wiki": None,
15. gclient sync