Yannic Kilcher 6452bb860d moved bot to discord-bot ...

added playbook to deploy dev machine

added playbook to deploy dev machine

added next.js font module, updated fonts, updated login page

replaced logos, changed logo on login and header

added 404 and email confirmation pages, changed discord and github buttons to show conditionally

also removed unused imports, fixed one spelling error, and minor styling changes

Quick format to the authenticated user page, updated header with user profile, styling updates

fixed html encoding

added checkout for release

re-vamped release config and ports

2022-12-25 11:35:54 +01:00

..

docker-build.yaml

improved release workflow

2022-12-24 23:55:20 +01:00

pre-commit.yaml

adjusted pre-commit

2022-12-13 16:33:32 +01:00

release.yaml

moved bot to discord-bot

2022-12-25 11:35:54 +01:00