On Tue 2 Jan 2018 at 23:22 Derek Fawcus < dfawcus+lists-gnustep-...@employees.org> wrote:
> 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 True. Feels bad though. > -- Sent from Gmail Mobile on iPad
_______________________________________________ Gnustep-dev mailing list Gnustep-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnustep-dev
