9 Jan
2015
9 Jan
'15
2:56 p.m.
On 7 January 2015 at 18:24, Peter Dimov
Daniel James wrote:
I'm certainly not having a git submodule just for one header. They're way too expensive.
In what way are git submodules expensive?
Expensive both in terms of developer effort (managing multiple repos, pull requests, etc.) and git running time. Also, more directories in libs to deal with.