make sure discord handle is complete

configure.py

@@ -93,6 +93,13 @@ def check_docs(yaml):
             logging.error("missing value for {} in documentation".format(key))
             exit(1)
 
+    # if provided, check discord handle is valid
+    if len(yaml['documentation']['discord']):
+        parts = yaml['documentation']['discord'].split('#')
+        if len(parts) != 2 or len(parts[0]) == 0 or not re.match('^[0-9]{4}$', parts[1]):
+            logging.error(f'Invalid format for discord username')
+            exit(1)
+
 
 def get_top_module(yaml):
     wokwi_id = int(yaml['project']['wokwi_id'])

info.yaml

@@ -15,7 +15,7 @@ project:
 # This info will be automatically collected and used to make a datasheet for the chip.
 documentation: 
   author:       ""      # Your name
-  discord:      ""      # Your discord handle
+  discord:      ""      # Your discord handle - make sure to include the # part as well
   title:        ""      # Project title
   description:  ""      # Short description of what your project does
   how_it_works: ""      # Longer description of how the project works