Feb. 22, 2021
7:56 a.m.
The header-only repository sounds like the better option to me. That level of git churn for the submodule would be a noticeable burden.