archive and custom-archive shouldn't be part of the git tree

Question

rafaeldtinoco opened this issue 3 years ago · 1 comments

Both directories could be removed from git tree and created when/if needed. Should we do this ?

Answer 1 · 2022-05-20T16:10:11.000Z

With the integration level we currently have, I think we shouldn't change this for now (as others are using btfhub and it might brake them).