On Fri, 15 Nov 2019 15:18:22 -0800 Kees Cook <keescook@xxxxxxxxxxxx> wrote: > > - I wonder if the hook script should just go under tools/ somewhere for > > people to grab. > > Do we have anywhere to put these kinds of things, or do we need create > something new? I don't think there's a place now; I bet, though, if we were to create a tools/git it would get other useful stuff before too long. jon
