Support pre-push githook natively

[blaggacao]

#18 provides for use cases of pre-push hooks specifically. #16 (comment) provides analysis for why a lightweight implementation is superior beyond the mere benefit of being leightweight.

That means, the consolidated intended use case does not require git workdir management. What's worse, providing such would induce misinterpretations about the consolidated intended use case.

Therefore, it is proposed for devshell to arrange for:

• A simple command sequence

  • that is defined in devshell's standard interfaces
  • and that is executed in order
  • in the context of the repo's root and within debshell env
  • by a devshell library facility
  • which is symlinked to .git/hooks/pre-push.

• The facility is capable of detecting modified files against the reference git ref,

  • which in the case of pre-push
  • is origin's HEAD.

• The facility passes the modified files list

  • as last variadic argument
  • to each command in the list.

• The command itself needs to arrange for

  • handling this variadic last argument (discarding if necessary),
  • filtering on file types against this variadic last argument
    • devshell may provide a configurable generic wrapper script for filtering, that supports configurable matching through:
      • regex include
      • regex exclude
      • as well as identify

[zimbatm]

The git.hooks extra module now allows to build on top of it.