| logic | False is not None | 2023-01-15 21:57:03 +01:00 | 
		
			
			
			
			
				| routes | lobby redirect to / if no gameid was given | 2023-01-16 09:16:27 +01:00 | 
		
			
			
			
			
				| __init__.py | Put authorized origin in env | 2023-01-15 12:46:25 +01:00 | 
		
			
			
			
			
				| discord_bot.py | remove some linting warnings | 2023-01-13 13:32:41 +01:00 |