4 Commits

Author	SHA1	Message	Date
Gareth Davidson	7000e10bc0	apply pre-commit rules	2023-01-02 00:01:45 +00:00
Alex Ott	65c078fb9f	pre-commit changes	2022-12-30 04:12:54 -08:00
AlexanderHOtt	221d3396f7	clean up code	2022-12-29 14:39:02 -08:00
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