Post #1727937

@Rusty @odoben I use git branches and merges to separate dot files for separate platforms. Start with a common empty parent commit so merges work. Then I have branches for each tool - base/zsh, base/vim etc. Then for platforms, branches like mix/work/laptop, mix/home etc. If something is specific to a platform, I commit it there. Otherwise it goes on the base branch and is merged in. Have done this for quite some years and it works well.