Skip to content

Correct founder identity#46

Merged
Will-thom merged 1 commit into
mainfrom
docs/founder-identity
May 26, 2026
Merged

Correct founder identity#46
Will-thom merged 1 commit into
mainfrom
docs/founder-identity

Conversation

@Will-thom
Copy link
Copy Markdown
Collaborator

Summary

  • Replace the incorrect founder name with the public founder identity, Will-thom.
  • Clarify the founder identity in the manifesto.
  • Add documentation coverage so the public founder identity remains explicit.

Validation

  • go test ./... with repository-local GOCACHE
  • rg found no remaining occurrences of the incorrect founder name in public docs/source areas

@github-actions
Copy link
Copy Markdown

Hi @Will-thom, thank you for contributing to PR Maven CLI.

I appreciate the time you spent opening this pull request. This project is intentionally shaped for focused, reviewable open source contributions, so your input helps the tool become more useful for Java and Maven teams.

A maintainer will review the context, labels, and next steps as soon as possible. If this is your first contribution here, welcome aboard.

Useful links:

  • Contributing guide: CONTRIBUTING.md
  • Testing guide: docs/testing.md
  • CI/CD guide: docs/ci.md

Thank you for helping build a deterministic, local-first Maven failure triage tool.

@Will-thom Will-thom merged commit 057e9a7 into main May 26, 2026
21 checks passed
@Will-thom Will-thom deleted the docs/founder-identity branch May 26, 2026 22:10
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