On Fri, Apr 2, 2021 at 2:59 AM Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> wrote: > > > On Fri, Mar 26 2021, Albert Cui via GitGitGadget wrote: > > > From: Albert Cui <albertqcui@xxxxxxxxx> > > Formatting nit: > > > +Git has https://git-scm.com/docs/githooks[hooks] functionality to allow users to > > [...] > > +local checks of code e.g. linting. As documented in > > +https://git-scm.com/docs/gitfaq#_hooks[gitfaq], in some cases, server-side > > +checks may be more appropriate, especially since developers can always skip > > This should be a linkgit:* even in the technical/ directory, should it > not? We build docs on git-scm.com (among others), but in our source tree > we should be using linking syntax, not linking to our own already-built > docs on some website. Yes, thanks. Good catch.