tree c9e6023cadc40a2d4499147eda19b88f6163a63d
parent eedf0b0986754d43b2d3b679939debaab512e8d0
author Yo Chiang <yochiang@google.com> 1587623365 +0800
committer Yo Chiang <yochiang@google.com> 1587635627 +0800

repo_diff: workspace mustn't be in existing tree

Check that |workspace| is not a sub-directory of an Android tree, so
that we don't `repo init` to a directory outside of |workspace|.

Test: mkdir /tmp/test && cd /tmp/test && repo init [AOSP]
Test: ./repo_diff_android.py  # Should fail to repo-init
Test: rm -rf .repo/ && ./repo_diff_android.py  # Should success
Change-Id: I3e1b94e8e3664cc50ab790aaa7e27b2a8d3feef0