diff options
author | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-28 07:33:57 -0700 |
---|---|---|
committer | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-28 07:43:51 -0700 |
commit | 7f9370a8e704dc9fda25681b2077c20fe2a3fa5f (patch) | |
tree | 924ef6e606621e4b9f450162309b66109ef3af61 /.github/pre-push | |
parent | 90e8a8d63c7d77d1872dca3da720abfa07271054 (diff) |
doc: move doc scripts around and eliminate submodule
Diffstat (limited to '.github/pre-push')
-rwxr-xr-x | .github/pre-push | 7 |
1 files changed, 0 insertions, 7 deletions
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 |