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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

馃枍 style: make logo smaller #442

Merged
merged 3 commits into from
Jul 11, 2023
Merged

馃枍 style: make logo smaller #442

merged 3 commits into from
Jul 11, 2023

Conversation

cosmos-explorer
Copy link
Contributor

@cosmos-explorer cosmos-explorer commented Jul 10, 2023

New logo seems too big
Before:
image
image

After:
image
image

@cosmos-explorer cosmos-explorer self-assigned this Jul 10, 2023
@cosmos-explorer cosmos-explorer changed the title 馃枍 style: made log smaller 馃枍 style: made logo smaller Jul 10, 2023
@deleteLater deleteLater changed the title 馃枍 style: made logo smaller 馃枍 style: make logo smaller Jul 11, 2023
Copy link
Contributor

@deleteLater deleteLater left a comment

Choose a reason for hiding this comment

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

LGTM

@deleteLater deleteLater merged commit 3e16f54 into main Jul 11, 2023
1 check passed
@deleteLater deleteLater deleted the style/make-logo-smaller branch July 11, 2023 04:42
mucoban pushed a commit to mucoban/featbit that referenced this pull request Jul 12, 2023
* style: made log smaller

* fix

* adjustment

---------

Co-authored-by: deleteLater <mikcczhang@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants