| name: devtools_repo | |
| description: A repo management tool for DevTools. | |
| environment: | |
| sdk: '>=2.12.0 <3.0.0' | |
| dependencies: | |
| args: ^2.1.0 | |
| cli_util: ^0.3.3 | |
| devtools_shared: ^2.18.0 | |
| http: ^0.13.3 | |
| lints: any | |
| path: ^1.8.0 | |
| dependency_overrides: | |
| devtools_shared: | |
| path: ../packages/devtools_shared |