Add 'repo3/' from commit 'efcdda94c0358262896c75a7c8060a3356406c1e'

git-subtree-dir: repo3
git-subtree-mainline: 24e93f6753cfa75e6a32ace35ef127e2f11f4dd2
git-subtree-split: efcdda94c0358262896c75a7c8060a3356406c1e