diff --git a/docs/dev/basics.rst b/docs/dev/basics.rst
index acb66fa3b6990caa5670b493ef78ee4271a57eba..54febc30613f15950e47e98fa347e42e6667cd9d 100644
--- a/docs/dev/basics.rst
+++ b/docs/dev/basics.rst
@@ -47,3 +47,12 @@ and you can try rebasing it onto the new `base` branch yourself and after that c
 
 Always call `make update-patches` after making changes to a module repository as `make update` will overwrite your
 commits, making `git reflog` the only way to recover them!
+
+Development Guidelines
+----------------------
+lua should be used instead of sh whenever sensible. The following criteria
+should be considered:
+
+- Is the script doing more than just executing external commands? if so, use lua
+- Is the script parsing/editing json-data? If so, use lua for speed
+