> [...] several GBs unless we remove those JARs from our history. 1) History is important, don't dump it. 2) git isn't dumb -- git clone -b master --single-branch would only fetch what's actually needed/ referenced. We could split the history into "pre-ivy" and "post-ivy" branches so that fetching master is at nearly no-cost, but if somebody wishes to they can still fetch everything (I would, it's a one-time thing, typically).
Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org
