GitHub housekeeping (workflows and templates)

2026-06-03 12:22:56 +00:00 · 2021-01-14 11:55:56 +13:00
parent dc6fdec1ed
commit fe70704667
9 changed files with 17 additions and 168 deletions
@@ -0,0 +1,3 @@
+# Unless more-specific rules are added, all PRs require @funkypenguin's approval ;)
+
+*       @funkypenguin