On Monday, 8 September 2014 at 19:51:58 UTC, Dragos Carp wrote:
I have collected a few pros/cons about merging the repositories:
Pro:
- simplified release tagging and branching
- atomic commit of cross-repository changes
- easier to experiment with cross-repository feature branches
- single pull request queue offering a better overview about the
project
- easier grep, easier build
- simplified build documentation
Cons:
- migration effort (documentation, merge scripts)
- current work-flow adjustments
- the resulted repo history could be sometimes confusing
- lost github pull-request history
What do you think about this? Would it be worth the effort?
Destroy!
ne important (in my opinion) disadvantage misssing: considerably
harder PR maintenance (missing automatic categorization and
separation between phobos / dmd teams). Being forced to look ar
DMD pull requests to do Phobos maintenance will add lot of
context overhead for me.
I also don't feel like it will help much for release preparation.
Bisection and history investigation - undoubtedly. But for
release management building stuff is one of the easier parts.
