Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gitignore: Ignore repo tool directory
This reduces the noise produced by 'git status' and 'repo status' when orchestrating the layers with Google's repo tool (https://gerrit.googlesource.com/git-repo/). Signed-off-by: Christian Meusel <christian.meusel@posteo.de> Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
- Loading branch information