- Update missing branch - Add limit_time in run.sh
- Adapt repo manifest to release 1.0.0 - move prod manifest at root of project, default path of git-repo
- Explain how to use script and fork - Add discover guide - Improve all documentation