From 8d5ab25fe749f47b798b0fdc2d1e4240639acce1 Mon Sep 17 00:00:00 2001
From: Chris Grieser <73286100+chrisgrieser@users.noreply.github.com>
Date: Sat, 1 Jun 2024 16:24:38 +0200
Subject: [PATCH] ci: remove stylua action & update PR template

---
 .github/PULL_REQUEST_TEMPLATE.md |  5 +++++
 .github/workflows/stylua.yml     | 16 ----------------
 2 files changed, 5 insertions(+), 16 deletions(-)
 create mode 100644 .github/PULL_REQUEST_TEMPLATE.md
 delete mode 100644 .github/workflows/stylua.yml

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000..97f38cd
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,5 @@
+## Checklist
+- [ ] Used only camelCase variable names.
+- [ ] If functionality is added or modified, also made respective changes to the
+  `README.md` (the `.txt` file is auto-generated and does not need to be modified).
+- [ ] If a non-trivial PR, formatting via `stylua`.
diff --git a/.github/workflows/stylua.yml b/.github/workflows/stylua.yml
deleted file mode 100644
index ef9deee..0000000
--- a/.github/workflows/stylua.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-name: Linting and style checking
-
-on: [pull_request]
-
-jobs:
-  stylua:
-    name: stylua
-    runs-on: ubuntu-20.04
-    steps:
-      - uses: actions/checkout@v3
-      - uses: JohnnyMorganz/stylua-action@v2
-        with:
-          token: ${{ secrets.GITHUB_TOKEN }}
-          version: latest
-          # CLI arguments
-          args: --color always --check lua/