remove discord username checking now that discord usernames don't have the #

This commit is contained in:
Matt Venn
2023-06-20 11:24:54 +02:00
parent 7b6d93c086
commit 2d7db817bc
-7
View File
@@ -406,13 +406,6 @@ class Project():
logging.error("missing value for {} in documentation".format(key)) logging.error("missing value for {} in documentation".format(key))
exit(1) 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('Invalid format for discord username')
exit(1)
# use pandoc to create a single page PDF preview # use pandoc to create a single page PDF preview
def create_pdf(self): def create_pdf(self):
yaml = self.yaml yaml = self.yaml