ci: remove unused shorter deployment workflow for Discord bot#15

wiktoriavh merged 1 commit intomainr-webdev/webdev-bot:mainfrom

chore/remove-unused-filer-webdev/webdev-bot:chore/remove-unused-fileCopy head branch name to clipboard