From 9f2643bd5789e9d4f65b1605f7a08bd71f5fe4b7 Mon Sep 17 00:00:00 2001 From: Christian Cleberg Date: Wed, 30 Apr 2025 22:24:42 -0500 Subject: remove github actions and hooks --- utils/hooks/post-commit | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 utils/hooks/post-commit (limited to 'utils/hooks/post-commit') diff --git a/utils/hooks/post-commit b/utils/hooks/post-commit deleted file mode 100644 index 3064dc6..0000000 --- a/utils/hooks/post-commit +++ /dev/null @@ -1,16 +0,0 @@ -# .git/hooks/post-commit -#!/bin/bash -echo "Environment: Development" - -# Remove previous build -rm -rf .build/* - -# Run publishing script -emacs --script publish.el - -# Minify CSS -minify -o theme/static/styles.min.css theme/static/styles.css - -# Launch development web server -cd .build/ -python3 -m http.server -- cgit v1.2.3-70-g09d2