Open Danyc0 opened 3 years ago
Or maybe just a nicer consistent solution for this to be clean
Realised I should have done this before #14 as I need #56 to merge before I can aa
Notably this is mainly about the logs I think? Can't think where else I could have meant
When referring to a user, it should be output with their name, student number and discord username. At the moment it's very unstandardised, in some places it uses one/two of the three, but rarely all three