Hi everyone, I'm having a hard time choosing between
repo &
mr tools for managing my personal repository. I need to hear the pros & cons from experienced users to be able to make up my mind.
In my own opinion, they both will make the job done, but there are two major differences:
- mr only requires a single config file (.mrconfig) to work, while repo needs a separate manifest repository to be initiated, and then it generates tons of files under the .repo directory. I just don't get this extra messy layer of complexity.
- repo seems more configurable & automated, while mr would require manual configuration & script-writing in order to address more complex scenarios.
Since I cannot have the best of both worlds, what path would you suggest me to take and why?