On Tue, Jan 02, 2018 at 05:36:25PM +0000, Ivan Vučica wrote: > > Even if built separately, we'd have to merge them back into the same > repository (losing some of the history in the process)
Why would you lose history? A git repro can have multiple initial commits, so just commit a merge for joining the tips of the two sets of histories. DF _______________________________________________ Gnustep-dev mailing list Gnustep-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnustep-dev
