Skip to content

add documentation badge#7

Merged
eric-tramel merged 1 commit intomainfrom
codex/add-documentation-badge
May 6, 2026
Merged

add documentation badge#7
eric-tramel merged 1 commit intomainfrom
codex/add-documentation-badge

Conversation

@eric-tramel
Copy link
Copy Markdown
Contributor

Summary

  • Adds a documentation badge to the README header.
  • Links the badge to the repository authoring guide at docs/adding-a-plugin.md.

Validation

  • git diff --check
  • make check

@eric-tramel eric-tramel changed the title [codex] add documentation badge add documentation badge May 5, 2026
@eric-tramel eric-tramel marked this pull request as ready for review May 5, 2026 19:54
@eric-tramel eric-tramel requested a review from a team as a code owner May 5, 2026 19:54
@eric-tramel eric-tramel merged commit 9ed1b54 into main May 6, 2026
4 checks 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.

2 participants