Skip to content

Add h0ffmann/proof as an incubating project - #12

Merged
h0ffmann merged 1 commit into
mainfrom
hermes/add-proof-project
Nov 9, 2026
Merged

h0ffmann merged 1 commit into
mainfrom
hermes/add-proof-project

Conversation

@piabrota-hermes

Copy link
Copy Markdown
Contributor

Summary

Add h0ffmann/proof to the Projects table of the org profile, as an incubating project.

What changed

  • profile/README.md and profile/README.pt-BR.md each get one new row, after ondecomer.
  • The row starts with "Incubating." ("Em incubação." in pt-BR).
  • The logo is docs/logo/logo.svg of h0ffmann/proof, at commit 361e50fb1cea81433d50c941db4f00363af2bd75. No image is copied here.
  • The logo is wide (4 to 1), so the row sets its width to 128 pixels. The other rows use 64.
  • The logo is a vector drawing with a clear background. Its ink is dark on a light page and light on a dark page.
  • The facts come from GitHub today: licence MPL-2.0, no website, public repository.
  • The reading-time badge is unchanged in English (about 5 minutes) and in pt-BR (about 7 minutes).

Tested

  • bash scripts/reading-time.sh --write, then --check: both exit 0.
  • Not tested: the render on github.com. The row was not seen in a browser.

Notes

  • The figure "How it fits" does not show proof. A change to the figure needs a separate PR.
  • A second PR in piabrota/nix-os adds the same project to piabrota.art.

Add one row to the Projects table in both languages.
The row uses the logo of the repository at a pinned commit.
@h0ffmann
h0ffmann merged commit e67a349 into main Nov 9, 2026
1 check passed
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.

1 participant