Repository navigation
docs(readme): refresh header and badges - #402
Merged
Merged
Conversation
Signed-off-by: BryanFRD <bryanferrando59@gmail.com>
BryanFRD
enabled auto-merge (squash)
October 31, 2026 11:20
![ferrfleet-interne[bot]](https://avatars.githubusercontent.com/in/5311663?s=60&v=4){kind=small}
There was a problem hiding this comment.
Approve. Docs-only README refresh (inline logo in the title, badge reorder, new License section matching AGPL-3.0-only). Nothing blocking.
Findings
- minor
README.md:3:align="absmiddle"is a non-standard value (legacy Netscape, not in HTML4/HTML5). GitHub passes it through today, but spec-following renderers and other Markdown viewers ignore it, so the icon can end up misaligned with the heading text. Suggested:<h1><img src=".github/logo.svg" alt="" width="48" height="48" align="middle"> Stashden</h1> - suggestion
.github/logo.svg:1: the file is a byte-for-byte copy ofsite/public/favicon.svg, which the README referenced before this change. Two copies of the brand mark will drift when one is updated. Either drop.github/logo.svgand keepsrc="site/public/favicon.svg", or note in one of them that the two must stay in sync.
Formal verification
| Property | Result |
|---|---|
| none | nothing to prove |
No executable code changed. README.md (markup, badge order, License section) and .github/logo.svg (static asset not served or parsed by Stashden) were not verified, as there is no behaviour to prove. No harnesses or counterexamples.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Standard header: logo next to the name, badges that actually render, links. README checked against the code, stale content fixed. Docs only.