Merge branch 'main' into whatsdue

UQComputingSociety · Oct 9, 2023 · 5f9e92b · 5f9e92b
2 parents 8889daa + cd5b338
commit 5f9e92b
Show file tree

Hide file tree

Showing 27 changed files with 473 additions and 85 deletions.
diff --git a/.env.example b/.env.example
@@ -9,6 +9,8 @@ SERVER_ID=
 
 # Variables for various command cogs.
 AOC_SESSION_ID=
+HACKATHON_START_TIME=
+HACKATHON_END_TIME=
 MC_RCON_ADDRESS=
 MC_RCON_PORT=
 MC_RCON_PASSWORD=

diff --git a/.gitignore b/.gitignore
@@ -132,3 +132,6 @@ dmypy.json
 *.db
 **/.DS_STORE
 .vscode/*
+
+# (per-user) configs for pyright
+pyrightconfig.json
diff --git a/README.md b/README.md
@@ -25,7 +25,7 @@ More information for currently implemented environment variables can be found on
 
 Once you have a .env file, you can run the following command to start the bot:
 
-```sh
+```bash
 poetry run botdev
 ```
 
@@ -75,7 +75,7 @@ poetry run black uqcsbot
 Individual files can also be styled with:
 
 ```bash
-poetry run pyright uqcsbot/file.py
+poetry run black uqcsbot/file.py
 ```
 
 ## Static Type Checks