From 7f9370a8e704dc9fda25681b2077c20fe2a3fa5f Mon Sep 17 00:00:00 2001
From: Steven Arcangeli <stevearc@stevearc.com>
Date: Mon, 28 Aug 2023 07:33:57 -0700
Subject: doc: move doc scripts around and eliminate submodule

---
 .github/pre-push | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 .github/pre-push

(limited to '.github/pre-push')

diff --git a/.github/pre-push b/.github/pre-push
deleted file mode 100755
index d117589..0000000
--- a/.github/pre-push
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-set -e
-luacheck lua tests
-
-stylua --check .
-
-lua-typecheck lua
-- 
cgit v1.2.3-70-g09d2