--- a/etc/options Mon Oct 23 16:19:19 2023 +0100
+++ b/etc/options Tue Oct 24 18:29:53 2023 +0200
@@ -433,3 +433,13 @@
option bash_process_debugging : bool = false for connection
option bash_process_address : string = "" for connection
option bash_process_password : string = "" for connection
+
+
+section "Continuous integration"
+
+option ci_mail_user : string = "" for connection
+option ci_mail_password : string = "" for connection
+option ci_mail_sender : string = "" for connection
+option ci_mail_smtp_host : string = "" for connection
+option ci_mail_smtp_port : int = 587 for connection
+option ci_mail_ssl : bool = true for connection