8000 Add logo.png to repo root by matthewbadeau · Pull Request #4038 · manyfold3d/manyfold · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Add logo.png to repo root #4038

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

Merged
merged 1 commit into from
Apr 21, 2025
Merged

Add logo.png to repo root #4038

merged 1 commit into from
Apr 21, 2025

Conversation

matthewbadeau
Copy link
Collaborator

Checklist

🚨 Please review the guidelines for contributing to this repository. 🚨

  • Make sure you are making a pull request against our main branch (left side)
  • Check that that your branch is up to date with our main.
  • Make sure you are requesting to pull a topic/feature/bugfix branch (right side). Don't request your main!
  • Check that the tests and code linter both pass.
  • If you're a new contributor, please sign our contributor license agreement.

Warnings

  • This PR will change existing database contents.
  • This PR introduces a breaking change to existing installations.

Summary

This adds a logo.png to the repository root

Linked issues

Description of changes

This is a super minor thing. GitHub doesn't have this feature but other forges allow the ability to assign a logo to a project by adding a logo.png to the root of the repository. This just adds the project logo to the root purely for cosmetic purposes.

Copy link

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
+0.00% (target: -1.00%)
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (4026895) 3771 3196 84.75%
Head commit (7e2e8b7) 3771 (+0) 3196 (+0) 84.75% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#4038) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

@Floppy Floppy merged commit 2af8458 into main Apr 21, 2025
14 checks passed
@Floppy Floppy deleted the feature/project-logo branch April 21, 2025 16:25
@github-project-automation github-project-automation bot moved this from Maybe to Done in Manyfold Roadmap Apr 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
0