Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Renaming according to vote in Discord #177

Merged
merged 15 commits into from
Jun 9, 2023

Conversation

JakobLichterfeld
Copy link
Collaborator

@JakobLichterfeld JakobLichterfeld commented May 23, 2023

closes #174
closes #176

Renaming according to vote in Discord, (see #176)

  • Docu
  • DevOps
  • MCU code
  • API docu
  • Model names
  • UI
  • Logo

@JakobLichterfeld JakobLichterfeld added the documentation Improvements or additions to documentation label May 23, 2023
@JakobLichterfeld JakobLichterfeld self-assigned this May 23, 2023
@JakobLichterfeld JakobLichterfeld linked an issue May 23, 2023 that may be closed by this pull request
11 tasks
Copy link
Collaborator Author

@JakobLichterfeld JakobLichterfeld left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, ty!

@TheRealKasumi
Copy link
Owner

Frontend still to be done. So we shouldn’t merge before this😋.

@JakobLichterfeld
Copy link
Collaborator Author

@TheRealKasumi and @danielbayerlein: lgtm, as I started the PR please review as well.

@TheRealKasumi
Copy link
Owner

Looks good to me so far. I think only the logo is left. So we are almost there. To not block the publishing we might continue with a placeholder. One of the pictures from the discord.

@TheRealKasumi
Copy link
Owner

Let’s go with this one for now.

Copy link
Collaborator Author

@JakobLichterfeld JakobLichterfeld left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm, even if it is not the placeholder logo mentioned above :-), ty for light and dark theme!

@TheRealKasumi
Copy link
Owner

TheRealKasumi commented Jun 9, 2023

I also adjusted the case and removed the logo for now. We can bring it back at some point if we want but it's not really relevant. With that I would go ahead and merge it. I tested everything manually and besides the logo loading issue (see discord) everything works fine. We can fix this as a follow-up.

@TheRealKasumi TheRealKasumi merged commit 067570c into main Jun 9, 2023
@TheRealKasumi TheRealKasumi deleted the 176-renaming-according-to-vote-in-discord branch June 9, 2023 16:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Renaming according to vote in Discord Proposal for new logo
3 participants