Commit graph

4 commits

Author SHA1 Message Date
bf97e83d24 Add a build script
This script does what was previously done by the git hook script. It takes the
commit before the push and the one after the push and lists the directories that
have been affected in those commits.

This script doesn't yet start an actual process for processing the directories,
it just prints what it thinks a command line might look like.
2023-12-16 23:52:35 -08:00
7f1c755c4e Reduce scope of the git hook script
The git hook script should only extract the necessary information the build
script needs to operate. Right now this is only the commit before the push and
after the push, and the refname is added for future use.

The name of the variables passed to the laminar build are modeled after those
found in the GitLab CI documentation, just for some familiarity.

The functionality of finding the relevant directories has been moved to the
build script.
2023-12-16 23:50:11 -08:00
fff0b171aa Replace git hook with a python script 2023-12-15 12:31:38 -08:00
62e1bdf491 Add post-receive script to list modified files 2023-12-13 14:54:05 -08:00