Migrate the website to its own Git repository
#5 Updated by intrigeri 2014-08-02 16:57:10
For the record, my main arguments were:
- It is entirely wrong that, as given as a reason to do this work on the parent ticket, “We’ve never taken advantage of mixing website with sources, so we only experience the disadvantages of it”. We do take advantage of this by writing and adjusting end-user and design documentation in topic branches, which allow everything to be merged at the same time without any need for manual synchronization.
- We have found no good solution (see Feature #7036) to keep in sync’ the main repo with other repositories whose content is needed at ISO build time. We’ll need to find such a solution at some point, but in the meantime, splitting the website Git repo would make things worse in this area.