The branch switching which occurs during history construction will cause problems if everything is in the same repository.
Furthermore, the generated Git history should not be pushed to the dist-git server, and enforcing separate repositories will prevent that for happening accidentally.
Metadata Update from @fweimer: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.