benbierens ef83441b2f Correct chunking of long messages		2023-11-09 10:13:34 +01:00
..
Commands	Correct chunking of long messages	2023-11-09 10:13:34 +01:00
Options	Correct chunking of long messages	2023-11-09 10:13:34 +01:00
docker	Gives deployments a name.	2023-10-23 10:19:52 +02:00
AdminChecker.cs	Restrict admin commands to admin channel	2023-10-25 10:38:21 +02:00
BaseCodexCommand.cs	removes dependency on static pod name and address info	2023-11-06 14:33:47 +01:00
BaseCommand.cs	Correct chunking of long messages	2023-11-09 10:13:34 +01:00
BaseDeploymentCommand.cs	Adds SPR-fetching command.	2023-11-02 12:30:48 +01:00
BaseGethCommand.cs	Adds SPR-fetching command.	2023-11-02 12:30:48 +01:00
BiblioTech.csproj	setting up slash commands	2023-10-18 13:48:15 +02:00
CommandHandler.cs	setting up subcommands.	2023-10-24 14:07:15 +02:00
Configuration.cs	Loops in kubeconfig and namespace for discord bot.	2023-11-08 11:49:21 +01:00
DeploymentsFilesMonitor.cs	Loops in kubeconfig and namespace for discord bot.	2023-11-08 11:49:21 +01:00
Program.cs	Loops in kubeconfig and namespace for discord bot.	2023-11-08 11:49:21 +01:00
RandomBusyMessage.cs	Adds SPR-fetching command.	2023-11-02 12:30:48 +01:00
UserRepo.cs	Correct chunking of long messages	2023-11-09 10:13:34 +01:00
build-docker.bat	Dockerizes discord bot	2023-10-18 11:01:24 +02:00