4 ms·

I think it's just a submodule

• giorgioz 5y ago
  thanks! When I tried to look into it months ago I just got stuck in 2 hours reading of git submodule vs subtree and all the nuances. I like the way the submodule link is added by github. I'll just try that path and see how it goes, better than paralysis from analysis.