On Monday, 8 September 2014 at 19:51:58 UTC, Dragos Carp wrote:
I have collected a few pros/cons about merging the repositories:
This topic has been discussed in the past. Some more points that
I can think of:
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
- easier to run the entire test suite
- much easier "git bisect"
Cons:
- migration effort (documentation, merge scripts)
- current work-flow adjustments
- the resulted repo history could be sometimes confusing
- lost github pull-request history
- more difficult to assign ownership/responsibility
- forking just one component becomes more difficult
- more mixing of free and non-free source code in the same
repository (although I heard splitting the DMD repo into two
(frontend and backend) repositories was being discussed)
