removed repo3
Add 'repo3/' from commit 'efcdda94c0358262896c75a7c8060a3356406c1e'

git-subtree-dir: repo3
git-subtree-mainline: 279c12840a1fcd48cff3e440856b98030e5a8ea7
git-subtree-split: efcdda94c0358262896c75a7c8060a3356406c1e