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

Repo cover #2365

Closed
wants to merge 0 commits into from
Closed

Repo cover #2365

wants to merge 0 commits into from

Conversation

x9136
Copy link
Collaborator

@x9136 x9136 commented Sep 20, 2024

I add the cover so that without downloading it is clear what the app and icons look like.

Type of change

❌ Bug fix (non-breaking change which fixes an issue)
✅ General change (non-breaking change that doesn't fit the above categories, such as copyediting)

Preview

repo_cover_preview

@github-actions github-actions bot added the docs Improvements or additions to documentation label Sep 20, 2024
@x9136
Copy link
Collaborator Author

x9136 commented Sep 20, 2024

Actions are stuck.

Apparently, they should have been skipped after the latest changes in the workflow.

README.md Outdated Show resolved Hide resolved
README.md Outdated
Comment on lines 4 to 5

<br/>
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
<br/>

Looks redundant.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I don't know a way to control margins more flexibly, and default ones don't fit well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants